Theorem CategoryTheory.MorphismProperty.universally_stableUnderBaseChange

Modification history