Theorem SchwartzMap.integralCLM_dirac_eq_delta

Modification history

2024-03-21 14:51

Mathlib/Analysis/Distribution/SchwartzSpace.lean

feat(Analysis/Distribution/SchwartzSpace): generalize the integral (#11373)

Added SchwartzMap.integralCLM_dirac_eq_delta View on Github →