diff options
| author | Enrico Tassi | 2018-04-12 15:08:19 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2018-04-12 15:08:19 +0200 |
| commit | ac07a76ee257c535b5686b49fd14c6d1e370cc9a (patch) | |
| tree | b95ac156d027c91f2103d33b46dbf5d2bcae33b8 /mathcomp/Make | |
| parent | c17414bbef21bb3d0b96ee004c29ef7d56e55e2e (diff) | |
ssrnat: don't use `fix n` but rather `fix name n`
This was the proof does not depend on the lemma name.
Diffstat (limited to 'mathcomp/Make')
0 files changed, 0 insertions, 0 deletions