Database
COMPLEX HILBERT SPACE EXPLORER (DEPRECATED)
Subspaces and projections
Projectors
Next ⟩
df-pjh
Metamath Proof Explorer
Unicode
Structured
Table of Contents - 19.4.6. Projectors
df-pjh
pjhfval
pjhval
pjpreeq
pjeq
axpjcl
pjhcl