Theorem CategoryTheory.MorphismProperty.StableUnderComposition.op

Modification history