Theorem CategoryTheory.Functor.shiftMap_comp'

Modification history