States, expectation, and uncertainty relations - #1577

States, expectation, and uncertainty relations#1577

TomOleDiem wants to merge 2 commits into

leanprover-community:masterleanprover-community/physlib:masterfrom

TomOleDiem:measurement-state-uncertaintyTomOleDiem/physlib:measurement-state-uncertaintyCopy head branch name to clipboard