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.
GitHub Advanced Security / Hypatia succeeded Jun 20, 2026 in 2s

No new alerts in code changed by this pull request

View all branch alerts.