Theorem CategoryTheory.MorphismProperty.StableUnderBaseChange.unop

Modification history