Lean: weighted squares and upper-moment-free D2 Schur bound - #343

Lean: weighted squares and upper-moment-free D2 Schur bound#343

d6g8k5htny-coder merged 5 commits into

maind6g8k5htny-coder/Math-:mainfrom

chatgpt/d2-square-schur-formal-20261006d6g8k5htny-coder/Math-:chatgpt/d2-square-schur-formal-20261006Copy head branch name to clipboard