test subNormedZmodType#1928

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

affeldt-aist:pseudo_normed_Zmodule_20260403affeldt-aist/analysis:pseudo_normed_Zmodule_20260403Copy head branch name to clipboard