Commit 2025-09-03 02:39 eaa8005d

feat: inverse Veblen function (#29153) Every additive principal ordinal $\alpha$ can be uniquely written in the form $\alpha = \varphi_{\beta}(\gamma)$ with $\gamma<\alpha$. We define invVeblen₁ x and invVeblen₂ x, which return $\beta$ and $\gamma$ in the expression for ω ^ x. We then show some properties of these functions in relation to the epsilon and gamma functions.