Theorem CategoryTheory.MorphismProperty.RespectsIso.arrow_iso_iff

Modification history