Skip to content

feat: unit extremal vector of the path observables on ℂ^d - #1666

Closed
naype888-cloud wants to merge 2 commits into
leanprover-community:masterfrom
naype888-cloud:feat-physlibalpha-pr-extremal-state
Closed

naype888-cloud wants to merge 2 commits into
leanprover-community:masterfrom
naype888-cloud:feat-physlibalpha-pr-extremal-state

docs: state that extremality of the extremal state is neither proved …

2a0cc73
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

2 warnings and 1 notice
Add size label
succeeded Sep 21, 2026 in 6s