Theorem CategoryTheory.shiftFunctor_of_induced

Modification history