diff options
| author | Arthur Azevedo de Amorim | 2019-10-25 03:47:31 -0400 |
|---|---|---|
| committer | Assia Mahboubi | 2019-10-25 09:47:31 +0200 |
| commit | efa0b18767f3310507088749b203e5c0b5e96d5a (patch) | |
| tree | 826efea4bae1ea44918bb31ab57506212928febf /mathcomp/_CoqProject | |
| parent | 6542e973cdc5d10dce2e7b7b7230a804dda4e73b (diff) | |
Instances for empty type. (#393)
* Add notation and instances for empty type.
* Update change log.
* Mention void in fintype header.
* Remove unnecessary explicit argument.
* Documentation header for void.
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions