generalization ball_open#1894

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

affeldt-aist:normed_module_20260311affeldt-aist/analysis:normed_module_20260311Copy head branch name to clipboard