Theorem CategoryTheory.MorphismProperty.surjective_stableUnderComposition

Modification history