feat(PhyslibAlpha): current eigenstates of the open tight binding chain - #1708

feat(PhyslibAlpha): current eigenstates of the open tight binding chain#1708

jstoobysmith merged 1 commit into

leanprover-community:masterleanprover-community/physlib:masterfrom

naype888-cloud:feat-physlibalpha-tight-binding-current-eigenstatesnaype888-cloud/physlib:feat-physlibalpha-tight-binding-current-eigenstatesCopy head branch name to clipboard