Gleason's theorem assumes non-contextual frame functions exist; deriving Born rule from this assumpt...
This proposition has not been edited since the history system was added.