Mathlib v3 is deprecated. Go to Mathlib v4

Theorem pi_le_borel_pi

Modification history

2020-11-09 22:52
src/measure_theory/borel_space.lean
feat(measure_theory/*): a few lemmas about `(is_)measurable` in `Π i, π i` (#4948)
Added pi_le_borel_piView on Github →