[Merged by Bors] - doc(MeasureTheory): remove stale paragraph#33278

harahu wants to merge 1 commit intoleanprover-community:masterleanprover-community/mathlib4:masterfrom

harahu:doc/fix-file-refs-mtharahu/mathlib4:doc/fix-file-refs-mtCopy head branch name to clipboard