Theorem CategoryTheory.MorphismProperty.inverseImage_map_eq_of_isEquivalence

Modification history