Theorem CategoryTheory.ObjectProperty.shift_zero

Modification history