Theorem CategoryTheory.shiftFunctorZero_inv_app_shift

Modification history