Skip to content

First-argument monotonicity; Γ₀ ≤′ φ_Γ₀(0) (BH climb rung 6)#247

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

First-argument monotonicity; Γ₀ ≤′ φ_Γ₀(0) (BH climb rung 6)#247
hyperpolymath merged 1 commit into
mainfrom
claude/eager-heisenberg-r3gz3c

proof(ordinal): first-argument monotonicity; Γ₀ ≤′ φ_Γ₀(0) (BH climb …

bf00438
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar