Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-07-06 08:21 2f720232

View on Github →

chore(measure_theory/decomposition): change statement to use the finite_measure instance (#8207)

Estimated changes