Definition talk:Basis (Hilbert Space)

We might consider to rename this to Definition:Orthonormal Basis because the parentheses are getting unwieldy and it'd be a clearer name. Thoughts? &mdash; Lord_Farin (talk) 09:55, 30 October 2022 (UTC)