Mathlib v3 is deprecated. Go to Mathlib v4

Theorem real.is_pi_system_Ioo_rat

Modification history

2021-07-27 07:49

src/measure_theory/borel_space.lean

feat(measure_theory/borel_space): lemmas about `is_pi_system_Ioo` and `finite_spanning_sets_in` (#8434)

Added real.is_pi_system_Ioo_rat View on Github →