diff options
| author | Cyril Cohen | 2020-11-19 11:48:46 +0100 |
|---|---|---|
| committer | GitHub | 2020-11-19 11:48:46 +0100 |
| commit | 75da4dbbf2fa6ca6ee150d272d3a793bff63c931 (patch) | |
| tree | 512c6cc466df5609008bb339a1a2a67dd59df44d /mathcomp/Make | |
| parent | 0606b6bf22e258dc3b7cf440f10c108f785904b5 (diff) | |
| parent | 9e6c20b4bd5397539debee9fcb0853b6924ecfb9 (diff) | |
Merge pull request #650 from pi8027/refactor-sorting-lemmas
Refactor, reshuffle, and rename sorting lemmas in `path.v`
Diffstat (limited to 'mathcomp/Make')
0 files changed, 0 insertions, 0 deletions