Theorem CategoryTheory.Functor.shiftMap_comp

Modification history