Database
COMPLEX HILBERT SPACE EXPLORER (DEPRECATED)
Subspaces and projections
Projection theorem
Next ⟩
pjhthlem1
Metamath Proof Explorer
Ascii
Unicode
Table of Contents - 19.4.5. Projection theorem
pjhthlem1
pjhthlem2
pjhth
pjhtheu