Theorem CategoryTheory.MorphismProperty.IsInvertedBy.rightOp

Modification history