Theorem CategoryTheory.MorphismProperty.IsInvertedBy.isoClosure_iff

Modification history