Theorem Fin.sort_univ

Modification history

2023-09-15 18:54
Mathlib/Data/Finset/Sort.lean
feat(Data/List/Range + Data/Finset/Sort): List.finRange lemmas (#7184) …
Added Fin.sort_univView on Github →