Theorem CategoryTheory.shiftFunctorComm_symm

Modification history