Theorem CategoryTheory.MorphismProperty.StableUnderCobaseChange.op

Modification history