Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-07-20 08:59 0f9b754f

View on Github →

feat(measure_theory/borel_space): generalize monotone.measurable to monotone on set (#8365)

Estimated changes

modified theorem measurable_of_antimono
modified theorem measurable_of_monotone