Theorem CategoryTheory.ObjectProperty.prop_shift_iff

Modification history