Database
COMPLEX HILBERT SPACE EXPLORER (DEPRECATED)
Properties of Hilbert subspaces
Mayet's equation E_3
Next ⟩
mayete3i
Metamath Proof Explorer
Ascii
Unicode
Table of Contents - 19.5.11. Mayet's equation E_3
mayete3i
mayetes3i