Michael P. Rubin

Unitary-orbit classification and a refinement theorem for context-independent projective probabilities

Gleason's theorem converts the maximal-context invariance condition and the all-context refinement condition, on their respective domains, into the Born form $\operatorname{Tr}(\rho P)$.