feat: proofs of lemmas 10.12, 10.13, and 10.14 related to elementary predictable sets - #518

feat: proofs of lemmas 10.12, 10.13, and 10.14 related to elementary predictable sets#518

pink-iguana wants to merge 2 commits into

RemyDegenne:masterRemyDegenne/brownian-motion:masterfrom

pink-iguana:issue-483pink-iguana/brownian-motion:issue-483Copy head branch name to clipboard