Cap first exit in Lean v1.8 (stacked on #257): L3-L4 on a collar of D and the composed source route - #258

Cap first exit in Lean v1.8 (stacked on #257): L3-L4 on a collar of D and the composed source route#258

d6g8k5htny-coder merged 3 commits into

maind6g8k5htny-coder/Math-:mainfrom

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