feat: lemmas for the analytic part of the proof of the Gelfond–Schneider theorem (Part 4/5)#35316
Open
mkaratarakis wants to merge 15 commits intoleanprover-community:masterfrom
Open
feat: lemmas for the analytic part of the proof of the Gelfond–Schneider theorem (Part 4/5)#35316mkaratarakis wants to merge 15 commits intoleanprover-community:masterfrom
mkaratarakis wants to merge 15 commits intoleanprover-community:masterfrom
Commits
Commits on Feb 14, 2026
- committed
- committed
Commits on Mar 16, 2026
Commits on Mar 26, 2026
- committed
- committed
- committed
- authored
- committed
- committed
- committed
- authored
- committed
Commits on Mar 31, 2026
- committed
- committed