Theorem CategoryTheory.MorphismProperty.StableUnderBaseChange.baseChange_map

Modification history