Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2022-06-24 19:24
f94a64f7
View on Github →
feat(probability/martingale): add some lemmas for submartingales (
#14904
)
Estimated changes
Modified
src/probability/martingale.lean
added
theorem
measure_theory.submartingale.condexp_sub_nonneg
added
theorem
measure_theory.submartingale_iff_condexp_sub_nonneg
added
theorem
measure_theory.submartingale_nat
added
theorem
measure_theory.submartingale_of_condexp_sub_nonneg
added
theorem
measure_theory.submartingale_of_condexp_sub_nonneg_nat
added
theorem
measure_theory.submartingale_of_set_integral_le_succ