Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2022-06-12 05:09
eb063e78
View on Github →
feat(category_theory/Fintype): equiv_equiv_iso (
#13984
) From LTE.
Estimated changes
Modified
src/category_theory/Fintype.lean
added
def
Fintype.equiv_equiv_iso