Skip to content

Cap first exit in Lean v2.2 (stacked on #262): f ∈ C⁴ near D supplies the collar data (ridge_capHyp_E) - #264

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

Cap first exit in Lean v2.2 (stacked on #262): f ∈ C⁴ near D supplies the collar data (ridge_capHyp_E)#264
d6g8k5htny-coder merged 2 commits into
mainfrom
claude/cap-first-exit-lean-v22-20261004

Merge main 192422a (#262 landed) into cap-first-exit-lean v2.2

4611b54
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar