Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-02-02 18:41 b084cfcd

View on Github →

fix(category_theory/equivalence): duplicated namespace prefix (#669)

Estimated changes

Modified src/category_theory/equivalence.lean

deleted def category_theory.category_theory.equivalence.equivalence_of_fully_faithfully_ess_surj

deleted def category_theory.category_theory.equivalence.ess_surj_of_equivalence

added def category_theory.equivalence.equivalence_of_fully_faithfully_ess_surj

added def category_theory.equivalence.ess_surj_of_equivalence