Theorem CategoryTheory.shift_shift'

Modification history