Theorem CategoryTheory.MorphismProperty.ContainsIdentities.of_op

Modification history