Theorem CategoryTheory.MorphismProperty.StableUnderCobaseChange.inl

Modification history