Theorem CategoryTheory.MorphismProperty.isStableUnderBaseChange_iff_pullbacks_le

Modification history