Commit 2022-09-27 17:24 7a4b066c
View on Github →chore(probability/martingale): use volume_tac in definitions (#16619)
Use the tactic volume_tac
in the definitions martingale
, submartingale
, supermartingale
, martingale_part
and predictable_part
.
In order to do that, change the order of the arguments of martingale_part
and predictable_part
.