Mathlib v3 is deprecated. Go to Mathlib v4

Theorem probability_theory.Indep_fun.indep_comap_natural_of_lt

Modification history

2022-10-31 15:55
src/probability/borel_cantelli.lean
feat(probability/borel_cantelli): the second Borel-Cantelli lemma (#16882)
Added probability_theory.Indep_fun.indep_comap_natural_of_ltView on Github →