Theorem CategoryTheory.ObjectProperty.prop_shift_iff_of_isStableUnderShift

Modification history