Temporal material-Jacobian consequences of the source flow package.

theorem AVenhance.Infra.Construction.MaterialFlowTime.iteratedTimeDerivative_neg_local {α : Type} [NormedAddCommGroup α] [NormedSpace ℝ α] (ell : ℕ) (f : ℝ → α) : (iteratedTimeDerivative ell fun (t : ℝ) => -f t) = fun (t : ℝ) => -iteratedTimeDerivative ell f t