Theorem CategoryTheory.MorphismProperty.IsStableUnderBaseChange.universally_eq

Modification history