Theorem CategoryTheory.MorphismProperty.StableUnderBaseChange.snd

Modification history