Theorem CategoryTheory.Functor.IsEquivalence.Equivalence.functor_map_inj_iff

Modification history