Cap first exit in Lean v2.4: the cap on P §7's event G_r for every pin gap k > 0 - #284

Cap first exit in Lean v2.4: the cap on P §7's event G_r for every pin gap k > 0#284

d6g8k5htny-coder merged 2 commits into

maind6g8k5htny-coder/Math-:mainfrom

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