Theorem List.toFinset_finRange

Modification history

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