Skip to content

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

Merged
d6g8k5htny-coder merged 4 commits into
mainfrom
chatgpt/d2-atom-integral-20261006-r12
Oct 8, 2026
Merged

Lean: quantitative squared-radius mass to actual moment and Schur floors#375
d6g8k5htny-coder merged 4 commits into
mainfrom
chatgpt/d2-atom-integral-20261006-r12

Merge current main into reviewed D2 atom-integral companion

22158a4
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar