Theorem CategoryTheory.MorphismProperty.IsMultiplicative.of_unop

Modification history