Theorem CategoryTheory.MorphismProperty.isStableUnderCobaseChange_iff_pushouts_le

Modification history