Theorem ContDiffMapSupportedIn.iteratedFDerivLM_apply_of_gt

Modification history

2026-03-10 20:55

Mathlib/Analysis/Distribution/ContDiffMapSupportedIn.lean

feat(Analysis/Distribution/ContDiffMapSupportedIn): Add a wrapper for fderiv on D_K^n (#30240) …

Modified ContDiffMapSupportedIn.iteratedFDerivLM_apply_of_gt View on Github →

2026-03-07 10:30

Mathlib/Analysis/Distribution/ContDiffMapSupportedIn.lean

refactor(Distributions): remove "WithOrder" duplication (#36301) …

Added ContDiffMapSupportedIn.iteratedFDerivLM_apply_of_gt View on Github →