generalize emeasurable_itv_* lemmas#858

proux01 merged 1 commit intomath-comp:mastermath-comp/analysis:masterfrom

affeldt-aist:lebesgue_measure_20230225affeldt-aist/analysis:lebesgue_measure_20230225Copy head branch name to clipboard