Theorem TestFunction.monoCLM_eq_zero

Modification history

2026-03-18 18:00
Mathlib/Analysis/Distribution/TestFunction.lean
feat: monotonicity of D^n(U) in n and in U as CLMs (#32401)
Added TestFunction.monoCLM_eq_zeroView on Github →