Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-07-14 10:14 51cc43ef

View on Github →

feat(measure_theory/borel_space): a monotone function is measurable (#8045)

Estimated changes

added theorem measurable_of_antimono
added theorem measurable_of_monotone