Theorem Distribution.delta_apply

Modification history

2026-03-31 15:26
Mathlib/Analysis/Distribution/Distribution.lean
feat(Analysis/Distribution): define Dirac delta distribution (#36491) …
Added Distribution.delta_applyView on Github →