Theorem CategoryTheory.shiftFunctorZero_hom_app_shift

Modification history