convergence of a real function#1396

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

affeldt-aist:realfun_20241115affeldt-aist/analysis:realfun_20241115Copy head branch name to clipboard