Mathlib v3 is deprecated. Go to Mathlib v4

Theorem measure_theory.outer_measure.pos_of_subset_ne_zero

Modification history

2022-03-02 09:30
src/measure_theory/measure/outer_measure.lean
feat(probability): define conditional probability and add basic related theorems (#12344) …
Added measure_theory.outer_measure.pos_of_subset_ne_zeroView on Github →