mathlib
071dc908 - feat(probability/martingale): positive part of a submartingale is also a submartingale (#14932)

Commit

3 years ago

feat(probability/martingale): positive part of a submartingale is also a submartingale (#14932) Co-authored-by: RemyDegenne <Remydegenne@gmail.com>

Author

kex-y

Parents