Commit 2023-12-10 13:47 3c2df660

View on Github →

feat: MeasurableSpace (Set α) instance (#8946) As a demonstration, prove that the complement operation is measurable. From LeanCamCombi

Estimated changes

added theorem measurableSet_mem
added theorem measurableSet_not_mem
added theorem measurable_compl
added theorem measurable_set_iff
added theorem measurable_set_mem
added theorem measurable_set_not_mem