Theorem CategoryTheory.shiftComm'

Modification history