Theorem ProbabilityTheory.moment_zero_measure

Modification history

2025-01-08 08:24
Mathlib/Probability/Moments.lean
feat: misc. lemmas about moments, tilted measures (#20150)
Added ProbabilityTheory.moment_zero_measureView on Github →