Theorem CategoryTheory.MorphismProperty.StableUnderBaseChange.monomorphisms

Modification history