Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2017-08-30 20:12 dbc8f869

View on Github →

feat(topology/measurable_space): measurability is closed under id and comp

Estimated changes

modified def measurable
added theorem measurable_comp
added theorem measurable_id