Theorem CategoryTheory.shiftFunctorComm_eq

Modification history