Isolate normed structures from topological structures#132

CohenCyril merged 1 commit intomastermath-comp/analysis:masterfrom

cleanupmath-comp/analysis:cleanupCopy head branch name to clipboard