Skip to content

feat(PhyslibAlpha): Mandelstam–Tamm and Cramér–Rao in the open tight binding chain - #1711

Open
naype888-cloud wants to merge 1 commit into
leanprover-community:masterfrom
naype888-cloud:feat-physlibalpha-tight-binding-mandelstam-tamm-v2
Open

naype888-cloud wants to merge 1 commit into
leanprover-community:masterfrom
naype888-cloud:feat-physlibalpha-tight-binding-mandelstam-tamm-v2

feat(PhyslibAlpha): Mandelstam–Tamm and Cramér–Rao in the open tight …

11b367b
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 Oct 2, 2026 in 5s