diff options
| author | Reynald Affeldt | 2020-06-04 22:49:54 +0900 |
|---|---|---|
| committer | Cyril Cohen | 2020-06-06 19:38:55 +0200 |
| commit | 0a4c927087ef2c3f6f0e20f6ad65ca932d9d3f6d (patch) | |
| tree | 5c7a135e6285b2f740a9a91543bb98a9b8c93019 /mathcomp | |
| parent | 344207b5925cb82ab46798d3ca3c13d3926fa0cb (diff) | |
add new lemmas to the changelog
Diffstat (limited to 'mathcomp')
0 files changed, 0 insertions, 0 deletions