Cap first exit in Lean v2.5: the cap under CAP (1) with its partial-block norms - #285

Cap first exit in Lean v2.5: the cap under CAP (1) with its partial-block norms#285

d6g8k5htny-coder merged 3 commits into

maind6g8k5htny-coder/Math-:mainfrom

claude/cap-first-exit-lean-v25-20261005d6g8k5htny-coder/Math-:claude/cap-first-exit-lean-v25-20261005Copy head branch name to clipboard