Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2017-09-11 14:57 74c3e6e9

View on Github →

feat(topology/measurable_space): measurable sets invariant under (countable) set operations

Estimated changes

added theorem is_measurable_Inter
modified theorem is_measurable_Union
added theorem is_measurable_bInter
added theorem is_measurable_bUnion
added theorem is_measurable_inter
added theorem is_measurable_sInter
added theorem is_measurable_sUnion
added theorem is_measurable_sdiff
added theorem is_measurable_sub
added theorem is_measurable_union