cvg lemmas for fun#1101

proux01 merged 2 commits intomath-comp:mastermath-comp/analysis:masterfrom

affeldt-aist:realfun_20231116affeldt-aist/analysis:realfun_20231116Copy head branch name to clipboard