Theorem CategoryTheory.MorphismProperty.IsInvertedBy.iff_comp

Modification history