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

hyperpolymath merged 1 commit into

mainhyperpolymath/echo-types:mainfrom

claude/confident-shannon-xf0Tdhyperpolymath/echo-types:claude/confident-shannon-xf0TdCopy head branch name to clipboard