Theorem CategoryTheory.shift_shift_neg'

Modification history