Cap first exit in Lean v2.3 (stacked on #264): a non-degenerate instance of ridge_capHyp_E (D⁴f ≠ 0, (H2) sharp) - #266

Cap first exit in Lean v2.3 (stacked on #264): a non-degenerate instance of ridge_capHyp_E (D⁴f ≠ 0, (H2) sharp)#266

d6g8k5htny-coder merged 2 commits into

maind6g8k5htny-coder/Math-:mainfrom

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