Def CategoryTheory.MorphismProperty.StableUnderComposition

Modification history