Lean: quantitative squared-radius mass to actual moment and Schur floors - #375

Lean: quantitative squared-radius mass to actual moment and Schur floors#375

d6g8k5htny-coder merged 4 commits into

maind6g8k5htny-coder/Math-:mainfrom

chatgpt/d2-atom-integral-20261006-r12d6g8k5htny-coder/Math-:chatgpt/d2-atom-integral-20261006-r12Copy head branch name to clipboard