diff options
| author | Cyril Cohen | 2018-07-27 17:43:39 +0200 |
|---|---|---|
| committer | GitHub | 2018-07-27 17:43:39 +0200 |
| commit | 6c6c907438f4179ac335e7daa9f1ed030c0c8259 (patch) | |
| tree | 0a8fd85d0385d10c519ebb35d754be045e62e5b5 /mathcomp/all | |
| parent | 1897c9978a61f03819ffb1ea6bc6199d87975485 (diff) | |
| parent | 664feb54237e18e7a1528321bdd8fd28d1e0f1be (diff) | |
Merge pull request #205 from anton-trunov/ssrnat-addnBAC-lemma
Add addnBAC lemma to ssrnat
Diffstat (limited to 'mathcomp/all')
0 files changed, 0 insertions, 0 deletions