Def Distribution.delta

Modification history

2026-05-29 13:23

Mathlib/Analysis/Distribution/Distribution.lean

chore: bump toolchain to v4.31.0-rc1 (#39980)

Deleted Distribution.delta View on Github →

2026-03-31 15:26

Mathlib/Analysis/Distribution/Distribution.lean

feat(Analysis/Distribution): define Dirac delta distribution (#36491) …

Added Distribution.delta View on Github →