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