Theorem CategoryTheory.MorphismProperty.StableUnderCobaseChange.epimorphisms

Modification history