feat(PhyslibAlpha): elemental uncertainty of the open tight binding chain - #1723

feat(PhyslibAlpha): elemental uncertainty of the open tight binding chain #1723

naype888-cloud wants to merge 1 commit into

leanprover-community:masterleanprover-community/physlib:masterfrom

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