Def Fintype.equiv_equiv_iso

Modification history

2022-06-12 05:09
src/category_theory/Fintype.lean
feat(category_theory/Fintype): equiv_equiv_iso (#13984) …
Added Fintype.equiv_equiv_isoView on Github →