Theorem CategoryTheory.shiftFunctorAdd_assoc_inv_app

Modification history