Theorem CategoryTheory.MorphismProperty.RespectsIso.inverseImage

Modification history