Theorem CategoryTheory.MorphismProperty.relative_stableUnderBaseChange

Modification history