lemma extracted from the sampling branch to help rebasing#1592

affeldt-aist merged 1 commit intomath-comp:mastermath-comp/analysis:masterfrom

affeldt-aist:lebesgue_integral_20240428affeldt-aist/analysis:lebesgue_integral_20240428Copy head branch name to clipboard