diff options
| author | thery | 2020-06-24 17:28:26 +0200 |
|---|---|---|
| committer | thery | 2020-06-24 17:28:26 +0200 |
| commit | d5aba2075565dd855c15b73e01a3c34f8f9b2313 (patch) | |
| tree | 6bbfa57702dbb5da4b371da1b8f5c03addbf6427 /mathcomp/_CoqProject | |
| parent | f25ef67ad2f58a30f1e700da89811b193755d84e (diff) | |
fix the doc for ubnP in ssrnat
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions