Theorem SchwartzMap.integrable_pow_mul_iteratedFDeriv

Modification history

2024-08-12 18:29

Mathlib/Analysis/Distribution/SchwartzSpace.lean

chore: move to v4.11.0-rc2 (new `variable` command) (#15726)

Modified SchwartzMap.integrable_pow_mul_iteratedFDeriv View on Github →

2024-04-24 06:52

Mathlib/Analysis/Distribution/SchwartzSpace.lean

feat: more integrability statements for iterated derivatives of Schwartz functions (#12152)

Added SchwartzMap.integrable_pow_mul_iteratedFDeriv View on Github →