Skip to content

φ₁ is a normal function; next-ε β is the LEAST ε-number above β (BH climb rung 3, slice 3) - #244

Merged
hyperpolymath merged 1 commit into
mainfrom
claude/eager-heisenberg-r3gz3c
Jun 20, 2026
Merged

φ₁ is a normal function; next-ε β is the LEAST ε-number above β (BH climb rung 3, slice 3)#244
hyperpolymath merged 1 commit into
mainfrom
claude/eager-heisenberg-r3gz3c

proof(ordinal): φ₁ is a normal function; next-ε β is the LEAST ε-numb…

e19ae2d
Select commit
Loading
Failed to load commit list.
GitHub Advanced Security / Hypatia succeeded Jun 20, 2026 in 2s

No new alerts in code changed by this pull request

View all branch alerts.