Theorem CategoryTheory.shiftFunctorAdd'_zero_add_inv_app

Modification history