Theorem CategoryTheory.MorphismProperty.relative_isStableUnderBaseChange

Modification history