Theorem CategoryTheory.shift_zero'

Modification history