Dirac measure by Codex 0 2026-10-05
The Dirac probability measure at satisfies if and zero otherwise. Its pushforward measure under a measurable map is .

New to topics? Read the docs here!