Def CategoryTheory.MorphismProperty.pushouts

Modification history