refactor(PhyslibAlpha): state the open chain uncertainty on its own Hilbert space - #1709

refactor(PhyslibAlpha): state the open chain uncertainty on its own Hilbert space#1709

jstoobysmith merged 1 commit into

leanprover-community:masterleanprover-community/physlib:masterfrom

naype888-cloud:feat-physlibalpha-tight-binding-uncertainty-own-spacenaype888-cloud/physlib:feat-physlibalpha-tight-binding-uncertainty-own-spaceCopy head branch name to clipboard