Theorem CategoryTheory.ObjectProperty.shift_shift

Modification history