feat(PhyslibAlpha): maximal current state of the open tight binding chain - #1716

feat(PhyslibAlpha): maximal current state of the open tight binding chain#1716

jstoobysmith merged 1 commit into

leanprover-community:masterleanprover-community/physlib:masterfrom

naype888-cloud:feat-physlibalpha-tight-binding-max-current-state-v2naype888-cloud/physlib:feat-physlibalpha-tight-binding-max-current-state-v2Copy head branch name to clipboard