Commit 2025-01-03 11:53 894f765e
View on Github →feat: fun ω ↦ exp (t * X ω) is integrable if X is bounded above (#20017)
I extracted a part of the pull request of Hoeffding's lemma.
feat: fun ω ↦ exp (t * X ω) is integrable if X is bounded above (#20017)
I extracted a part of the pull request of Hoeffding's lemma.