Theorem CategoryTheory.Functor.commShiftIso_eq_ofInduced

Modification history