Cap first exit in Lean v2.1 (stacked on #260): six derivative bounds from the block bound; SP's bounds on D only (I3 continuity step) - #262

Cap first exit in Lean v2.1 (stacked on #260): six derivative bounds from the block bound; SP's bounds on D only (I3 continuity step)#262

d6g8k5htny-coder merged 4 commits into

maind6g8k5htny-coder/Math-:mainfrom

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