Theorem CategoryTheory.MorphismProperty.StableUnderCobaseChange.respectsIso

Modification history