Cap first exit in Lean v2.0 (stacked on #259): f_xxx >= 7/4 from L2 and (H2); the cap from SP's hypotheses - #260

Cap first exit in Lean v2.0 (stacked on #259): f_xxx >= 7/4 from L2 and (H2); the cap from SP's hypotheses#260

d6g8k5htny-coder merged 5 commits into

maind6g8k5htny-coder/Math-:mainfrom

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