Loading paper
Every bounded self-ajoint operator is a real linear combination of $4$ orthoprojections | Tomesphere