We have the following indirect implication of form equivalence classes:
Implication | Reference |
---|---|
158 \(\Rightarrow\) 158 |
Here are the links and statements of the form equivalence classes referenced above:
Howard-Rubin Number | Statement |
---|---|
158: | In every Hilbert space \(H\), if the closed unit ball is sequentially compact, then \(H\) has an orthonormal basis. |
158: | In every Hilbert space \(H\), if the closed unit ball is sequentially compact, then \(H\) has an orthonormal basis. |
Comment: