diff options
| author | Cyril Cohen | 2020-04-08 18:27:09 +0200 |
|---|---|---|
| committer | Cyril Cohen | 2020-04-10 15:34:31 +0200 |
| commit | ea6d5dba608a37a8c418638847905202da6d1ab3 (patch) | |
| tree | 2281c096b7b00c0a7ed7f56cdb179e65f27039f0 /mathcomp/_CoqProject | |
| parent | dc1ea50f04fdaada16f2a27a81ec24859b4ab843 (diff) | |
adding depreciations in ssrnat
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions