Theorem CategoryTheory.shift_shiftFunctorCompIsoId_inv_app

Modification history