Theorem CategoryTheory.MorphismProperty.ContainsIdentities.of_unop

Modification history