Theorem CategoryTheory.MorphismProperty.RespectsIso.arrow_mk_iso_iff

Modification history