Theorem CategoryTheory.shift_shiftFunctorCompIsoId_hom_app

Modification history