Theorem CategoryTheory.MorphismProperty.StableUnderComposition.monomorphisms

Modification history