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

Commits on Sep 20, 2026

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

naype888-cloud
and
claude
committed
fd4e7a2

Commits on Sep 21, 2026

docs: state that extremality of the extremal state is neither proved nor used

naype888-cloud
and
claude
committed
2a0cc73