mathlib
eb063e78 - feat(category_theory/Fintype): equiv_equiv_iso (#13984)

Commit

3 years ago

feat(category_theory/Fintype): equiv_equiv_iso (#13984) From LTE. Co-authored-by: Scott Morrison <scott.morrison@gmail.com>

Author

kim-em

Parents