diff options
| author | Cyril Cohen | 2020-11-13 15:00:55 +0100 |
|---|---|---|
| committer | GitHub | 2020-11-13 15:00:55 +0100 |
| commit | 1a098263b335ccc4cf72880662dccbe79185a8ab (patch) | |
| tree | 057f0c89a13a19aae6624bd1f235f9a3530b7f57 /mathcomp/algebra | |
| parent | 903f12374f8b388b8f28da6cad06724ae0bf5075 (diff) | |
| parent | 2f906481423530b03f21ff605aaee3f281131608 (diff) | |
Merge pull request #646 from pi8027/rename-eq_sorted
Rename `eq_sorted` lemmas to `sorted_eq` and generalize `sort_le_id`
Diffstat (limited to 'mathcomp/algebra')
0 files changed, 0 insertions, 0 deletions