Mathlib v3 is deprecated. Go to Mathlib v4

Theorem fin.equiv_iff_eq

Modification history

2022-11-18 03:59
src/data/fintype/basic.lean
refactor(data/fintype/basic): split file (#17578)
Modified fin.equiv_iff_eqView on Github →
2020-10-29 07:30
src/data/fintype/basic.lean
feat(category_theory/Fintype): Adds the category of finite types and its "standard" skeleton. (#4809) …
Added fin.equiv_iff_eqView on Github →