Mathlib v3 is deprecated. Go to Mathlib v4

Def category_theory.functor.as_equivalence

Modification history

2018-11-28 04:36

category_theory/equivalence.lean

feat(category_theory/equivalence): equivalences, slice tactic (#479)

Added category_theory.functor.as_equivalence View on Github →