Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-05-05 23:47 009be861

View on Github →

feat(measure_theory/set_integral): continuous_on.measurable_at_filter (#7511)

Estimated changes