Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-07-19 04:53 eca55c9a

View on Github →

feat(category_theory/equivalence): injectivity simp lemmas for equivalences (#3437)

Estimated changes