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

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

naype888-cloud wants to merge 1 commit into

leanprover-community:masterleanprover-community/physlib:masterfrom

naype888-cloud:feat-physlibalpha-tight-binding-mandelstam-tamm-v2naype888-cloud/physlib:feat-physlibalpha-tight-binding-mandelstam-tamm-v2Copy head branch name to clipboard