Mathlib v3 is deprecated. Go to Mathlib v4

Theorem measure_theory.filtration.filtration_of_set_eq_natural

Modification history

2022-10-31 15:55
src/probability/process/filtration.lean
feat(probability/borel_cantelli): the second Borel-Cantelli lemma (#16882)
Added measure_theory.filtration.filtration_of_set_eq_naturalView on Github →