Talk:Solèr's theorem

Definitions
This article says "any orthomodular form that has an infinite orthonormal sequence is a Hilbert space over the real numbers, complex numbers or quaternions." When you click on "orthomodular", what you get is a section on orthomodular lattices. It doesn't say what an "orthomodular form" is, but it does say "they are part of the axiomisation of the Hilbert space formulation of quantum mechanics.", and "formulation" is a clickable link to Mathematical formulation of quantum mechanics, in which the word "orthomodular" nowhere appears. Could this article say what an orthomodular form is? Michael Hardy (talk) 21:58, 24 July 2017 (UTC)