feat(PhyslibAlpha): derive normalized variance bounds for algebraic states - #1650

feat(PhyslibAlpha): derive normalized variance bounds for algebraic states#1650

jstoobysmith merged 1 commit into

leanprover-community:masterleanprover-community/physlib:masterfrom

naype888-cloud:nava-variance-product-normalizationnaype888-cloud/physlib:nava-variance-product-normalizationCopy head branch name to clipboard