chore(measure_theory): fix TC assumptions in 2 lemmas (#11185)
chore(measure_theory): fix TC assumptions in 2 lemmas (#11185)

With new assumptions, these lemmas work, e.g., for `β = ι → ℝ`.





leanprover-community/mathlib,leanprover-community/mathlib