Solèr's theorem

Today it means: A result concerning certain infinite-dimensional vector spaces, stating that any orthomodular form that has an infinite orthonormal sequence is a Hilbert space over the real numbers, complex numbers or quaternions. Full definition →