Theorem CategoryTheory.MorphismProperty.StableUnderBaseChange.pullback_map

Modification history