Theorem CategoryTheory.shift_neg_shift'

Modification history