Def CategoryTheory.MorphismProperty.universally

Modification history