Theorem CategoryTheory.Functor.shiftMap_zero

Modification history