Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-07-07 12:02 bb5ab1e7

View on Github →

chore(measure_theory/measure_space): add missing finite_measure instances (#8214)

Estimated changes