Theorem CategoryTheory.MorphismProperty.StableUnderComposition.diagonal

Modification history