Skip to content

Proof packet round 6: ImageBound, EntrywiseCovarianceBound and CovarianceOrdering (Side24Images) - #441

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

Proof packet round 6: ImageBound, EntrywiseCovarianceBound and CovarianceOrdering (Side24Images)#441
d6g8k5htny-coder merged 3 commits into
mainfrom
claude/lean-statement-proofs-round6-20261012

Carry current main into reviewed Side24 round-6 packet

f42491e
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar