Theorem CategoryTheory.MorphismProperty.naturalityProperty.stableUnderComposition

Modification history