diff options
| author | Cyril Cohen | 2020-11-06 11:34:40 +0100 |
|---|---|---|
| committer | GitHub | 2020-11-06 11:34:40 +0100 |
| commit | a637acb7940706d162fe46b1359638f986d4c9bd (patch) | |
| tree | 7b30dad4e429143ae86ded4a0898b1049d4cabab /mathcomp/algebra | |
| parent | a14d422bcc1a44a860dd207b10d239c064d22548 (diff) | |
Update mathcomp/ssreflect/ssrnat.v
Diffstat (limited to 'mathcomp/algebra')
0 files changed, 0 insertions, 0 deletions