Theorem CategoryTheory.Functor.IsEquivalence.Equivalence.inverse_map_inj_iff

Modification history