easy gen, rm deprecated#1773

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

affeldt-aist:lebesgue_integrable_20251122affeldt-aist/analysis:lebesgue_integrable_20251122Copy head branch name to clipboard