Skip to content

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

Merged
d6g8k5htny-coder merged 2 commits into
mainfrom
claude/cap-first-exit-lean-v23-20261004
Oct 4, 2026
Merged

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
mainfrom
claude/cap-first-exit-lean-v23-20261004

Merge main 3de2337 (#264 landed) into cap-first-exit-lean v2.3

246d68d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar