mathlib

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