Generalize gt0_cvgMly/Ny#1565

affeldt-aist merged 2 commits intomath-comp:mastermath-comp/analysis:masterfrom

IshiguroYoshihiro:generalize_gt0_cvgMly/Ny_20250411IshiguroYoshihiro/analysis:generalize_gt0_cvgMly/Ny_20250411Copy head branch name to clipboard