Skip to content

proof(ordinal): head-Ω-strict-or-eq — joint-bplus umbrella case-split - #199

Merged
hyperpolymath merged 2 commits into
mainfrom
claude/quirky-gauss-GaGZo
Jun 13, 2026
Merged

proof(ordinal): head-Ω-strict-or-eq — joint-bplus umbrella case-split#199
hyperpolymath merged 2 commits into
mainfrom
claude/quirky-gauss-GaGZo

Merge branch 'main' into claude/quirky-gauss-GaGZo

19ef5c9
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar