Skip to content

proof(ordinal): ε₀ is an ε-number — ω^^ ε₀ ≃ ε₀ (BH climb rung 2) - #234

Merged
hyperpolymath merged 1 commit into
mainfrom
claude/confident-shannon-xf0Td
Jun 18, 2026
Merged

proof(ordinal): ε₀ is an ε-number — ω^^ ε₀ ≃ ε₀ (BH climb rung 2)#234
hyperpolymath merged 1 commit into
mainfrom
claude/confident-shannon-xf0Td

proof(ordinal): ε₀ is an ε-number — ω^^ ε₀ ≃ ε₀ (BH climb rung 2)

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

No new alerts in code changed by this pull request

View all branch alerts.