Material Transition

Support for the Armstrong–Vicol anomalous-diffusion formalization.

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