Def CategoryTheory.Functor.CommShift.ofInduced

Modification history