Theorem TestFunction.fderivCLM_eq_of_scalars

Modification history

2026-03-18 15:04
Mathlib/Analysis/Distribution/TestFunction.lean
feat: differentiation of test function as a CLM (#31809)
Added TestFunction.fderivCLM_eq_of_scalarsView on Github →