diff options
| author | Antonio Nikishaev | 2020-04-09 10:48:04 +0400 |
|---|---|---|
| committer | GitHub | 2020-04-09 10:48:04 +0400 |
| commit | 52e091587f9fa65f6184ae5e4c6b63677281376b (patch) | |
| tree | 55572e70281d86f1dd4da10387d4fe9994c5903b /mathcomp/ssreflect/eqtype.v | |
| parent | bfd4b28b835e6918d7f4dea848c8b94f4c1c6f7f (diff) | |
Update mathcomp/ssreflect/ssrnat.v
the->this
Co-Authored-By: Yves Bertot <yves.bertot@inria.fr>
Diffstat (limited to 'mathcomp/ssreflect/eqtype.v')
0 files changed, 0 insertions, 0 deletions