Theorem ContDiffMapSupportedIn.iteratedFDerivWithOrderLM_eq_of_scalars

Modification history

2026-03-07 10:30
Mathlib/Analysis/Distribution/ContDiffMapSupportedIn.lean
refactor(Distributions): remove "WithOrder" duplication (#36301) …
Deleted ContDiffMapSupportedIn.iteratedFDerivWithOrderLM_eq_of_scalarsView on Github →
2025-11-14 11:51
Mathlib/Analysis/Distribution/ContDiffMapSupportedIn.lean
feat: add differentiation for ContDiffMapSupportedIn (#30201) …
Added ContDiffMapSupportedIn.iteratedFDerivWithOrderLM_eq_of_scalarsView on Github →