Material transport commutes with composition by an inverse-flow coordinate.

theorem AVenhance.Infra.Construction.MaterialComposition.iteratedTimeDerivative_contDiff {q : ℝ → ℝ} (hq : ContDiff ℝ (↑⊤) q) (ell : ℕ) : ContDiff ℝ (↑⊤) (iteratedTimeDerivative ell q)