Cap first exit in Lean v1.7 (stacked on #255): L7 kernel-checked, existence, uniqueness and implicit-function regularity of the ridge - #257

Cap first exit in Lean v1.7 (stacked on #255): L7 kernel-checked, existence, uniqueness and implicit-function regularity of the ridge#257

d6g8k5htny-coder merged 4 commits into

maind6g8k5htny-coder/Math-:mainfrom

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