Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-07-27 07:49 d99788a6

View on Github →

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

Estimated changes

Modified src/measure_theory/borel_space.lean

added theorem is_pi_system_Ioo

added theorem is_pi_system_Ioo_mem

added def real.finite_spanning_sets_in_Ioo_rat

added theorem real.is_pi_system_Ioo_rat