Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-11-22 14:51 2ba930eb

View on Github →

chore(measure_theory/borel_space): add some simp attrs (#5075)

Estimated changes

modified theorem is_measurable_Icc
modified theorem is_measurable_Ici
modified theorem is_measurable_Ico
modified theorem is_measurable_Iic
modified theorem is_measurable_Iio
modified theorem is_measurable_Ioc
modified theorem is_measurable_Ioi
modified theorem is_measurable_Ioo