Def measure_theory.supermartingale
Modification history
2022-09-27 17:24
src/probability/martingale/basic.lean
chore(probability/martingale): use volume_tac in definitions (#16619) …
Modified measure_theory.supermartingaleView on Github →2022-08-09 17:00
src/probability/martingale.lean
chore(probability/*): change to probability notation in the probability folder (#15933) …
Modified measure_theory.supermartingaleView on Github →