pseudometric alias#1628

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

affeldt-aist:normed_20250522affeldt-aist/analysis:normed_20250522Copy head branch name to clipboard