Theorem CategoryTheory.MorphismProperty.IsInvertedBy.iff_of_iso

Modification history