Theorem CategoryTheory.shiftFunctorAdd'_add_zero_inv_app

Modification history