Theorem CategoryTheory.shiftFunctorAdd'_assoc_inv_app

Modification history