Theorem CategoryTheory.Functor.IsEquivalence.Equivalence.essSurj_of_equivalence

Modification history