simplify lemma lebesgue_measure_rat#1700

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

affeldt-aist:lebesgue_measure_20250815affeldt-aist/analysis:lebesgue_measure_20250815Copy head branch name to clipboard