feat(NumberTheory): non-vanishing derivative and algebraic lower bound for Gelfond-Schneider#35744
Open
mkaratarakis wants to merge 12 commits intoleanprover-community:masterfrom
Open
feat(NumberTheory): non-vanishing derivative and algebraic lower bound for Gelfond-Schneider#35744mkaratarakis wants to merge 12 commits intoleanprover-community:masterfrom
mkaratarakis wants to merge 12 commits intoleanprover-community:masterfrom
Commits
Commits on Feb 24, 2026
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Feb 25, 2026
- committed
- committed
- committed
- committed
- committed
- committed