Mathlib Changelog
v3
Changelog
About
Github
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
src/measure_theory/borel_space.lean
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