Theorem CategoryTheory.MorphismProperty.IsInvertedBy.leftOp

Modification history