Skip to content

feat(QuantumInfo): Robertson uncertainty relation for mixed states - #1587

Closed
naype888-cloud wants to merge 11 commits into
leanprover-community:masterfrom
naype888-cloud:add-cramer-rao-pure-state
Closed

naype888-cloud wants to merge 11 commits into
leanprover-community:masterfrom
naype888-cloud:add-cramer-rao-pure-state

fix(Relativity): drop simp attr from Matrix.trace_reindex

3e19266
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Add size label
succeeded Sep 8, 2026 in 4s