Def CategoryTheory.MorphismProperty.diagonal

Modification history