Lean companion: actual-law D2 moment strictness and zero-atom equality cases - #317

Lean companion: actual-law D2 moment strictness and zero-atom equality cases#317

cursor[bot] merged 5 commits into

maind6g8k5htny-coder/Math-:mainfrom

chatgpt/d2-moment-law-bridge-20261006d6g8k5htny-coder/Math-:chatgpt/d2-moment-law-bridge-20261006Copy head branch name to clipboard