Def CategoryTheory.MorphismProperty.op

Modification history