Skip to content

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
Closed

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

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

02fce8c
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 7s