Theorem Distribution.delta_eq_zero_of_notMem

Modification history

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