Lfun1_integrable turned into an equivalence#1655

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

affeldt-aist:hoelder_20250626affeldt-aist/analysis:hoelder_20250626Copy head branch name to clipboard