Skip to content

Binary Veblen φ_α(β) + the diagonal Γ₀ (BH climb rung 4)#245

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

Binary Veblen φ_α(β) + the diagonal Γ₀ (BH climb rung 4)#245
hyperpolymath merged 1 commit into
mainfrom
claude/eager-heisenberg-r3gz3c

proof(ordinal): binary Veblen φ_α(β) + the diagonal Γ₀ (BH climb rung 4)

4a62e8b
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar