Gleason's theorem (source code)

= Gleason's theorem
{wiki=Gleason's_theorem}