diff options
| author | Georges Gonthier | 2019-05-08 09:38:02 +0200 |
|---|---|---|
| committer | GitHub | 2019-05-08 09:38:02 +0200 |
| commit | 51b9988f608625c60184dbe90133d64cdaa2a1f9 (patch) | |
| tree | 5315fbaebdbeca10f6a9ffba448ea424d16252b3 /mathcomp/algebra/vector.v | |
| parent | 02830d7cf24f9198d5e7cb81843d6ca5cb69f68a (diff) | |
| parent | 6c4382c69e72b81fb7e81b0b753e5d3c83b1064a (diff) | |
Merge pull request #344 from soraros/ssrnat-remove-arith-lemmas
remove dependence on Arith lemmas
Diffstat (limited to 'mathcomp/algebra/vector.v')
0 files changed, 0 insertions, 0 deletions