Theorem CategoryTheory.MorphismProperty.IsMultiplicative.of_op

Modification history