Skip to content

States, expectation, and uncertainty relations - #1577

Closed
TomOleDiem wants to merge 2 commits into
leanprover-community:masterfrom
TomOleDiem:measurement-state-uncertainty
Closed

States, expectation, and uncertainty relations#1577
TomOleDiem wants to merge 2 commits into
leanprover-community:masterfrom
TomOleDiem:measurement-state-uncertainty

refactor(OperatorAlgebra): move State out of Basic.lean into Measurem…

0830bb8
Select commit
Loading
Failed to load commit list.
Sign in for the full log view