feat: path graph transport and position observables on ℂ^d - #1665

Closed

naype888-cloud wants to merge 2 commits into

leanprover-community:masterfrom

naype888-cloud:feat-physlibalpha-pr-path-observables

Commits on Sep 20, 2026

feat: path graph transport and position observables on ℂ^d

naype888-cloud
and
claude
committed
3080808

Commits on Sep 21, 2026

docs: state that the path observables are meant for 2 ≤ d

naype888-cloud
and
claude
committed
02fce8c