Lean statement proofs: 52 kernel-checkable theorems typed as registered statements, Theorem P2 and (T1) as stated (stacked on #419) - #422

Lean statement proofs: 52 kernel-checkable theorems typed as registered statements, Theorem P2 and (T1) as stated (stacked on #419)#422

d6g8k5htny-coder merged 6 commits into

maind6g8k5htny-coder/Math-:mainfrom

claude/lean-statement-proofs-20261011d6g8k5htny-coder/Math-:claude/lean-statement-proofs-20261011Copy head branch name to clipboard