set of limit points is closed#1870

affeldt-aist wants to merge 1 commit intomath-comp:mastermath-comp/analysis:masterfrom

affeldt-aist:normed_module_20260303affeldt-aist/analysis:normed_module_20260303Copy head branch name to clipboard