Auxiliary normed spaces

1. REDIRECT Auxiliary normed space

{{Redirect category shell|

{{R from plural}}

{{R from move}}

}}