Gleason's theorem

[kencyke]

• https://ncatlab.org/nlab/show/Gleason%27s+theorem
• https://arxiv.org/abs/2205.00493v1
• https://arxiv.org/abs/quant-ph/9909073