diff options
| author | Anton Trunov | 2020-05-13 17:11:30 +0300 |
|---|---|---|
| committer | Anton Trunov | 2020-09-29 17:59:45 +0300 |
| commit | dad78be41d2852dd563333b69dc3f240056a95da (patch) | |
| tree | 3098b37009bc40e5830e5cf571af6917cb369840 /mathcomp/_CoqProject | |
| parent | d196c0953783d161e4b392ceac1ebf0ee9fe35dd (diff) | |
ssrnat: add subnA, addnCB, addnCAC, addnAl lemmas
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions