Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-03-25 03:23 ec77f226

View on Github →

chore(measure_theory/measure): add exists_measurable_superset_forall_eq (#6853)

Estimated changes