Theorem CategoryTheory.MorphismProperty.RespectsIso.of_respects_arrow_iso

Modification history