Theorem CategoryTheory.MorphismProperty.StableUnderComposition.universally

Modification history