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






leanprover-community/mathlib,leanprover-community/mathlib