Skip to content

Proof packet round 5: theorems of ReferenceCovarianceLowerBound and ConeMomentD2Identity (draft, stacked on #434; hosted receipt bound) - #439

Merged
d6g8k5htny-coder merged 3 commits into
mainfrom
claude/lean-statement-proofs-round5-20261012
Oct 12, 2026
Merged

Proof packet round 5: theorems of ReferenceCovarianceLowerBound and ConeMomentD2Identity (draft, stacked on #434; hosted receipt bound)#439
d6g8k5htny-coder merged 3 commits into
mainfrom
claude/lean-statement-proofs-round5-20261012

Merge current main after #434 into round-5 proof packet #439

de732f1
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar