Skip to content
continuous integration (mathlib forks)

feat: lemmas for the analytic part of the proof of the Gelfond–Schneider theorem (Part 5/5) #271471

Sign in to view logs

feat: lemmas for the analytic part of the proof of the Gelfond–Schneider theorem (Part 5/5)

feat: lemmas for the analytic part of the proof of the Gelfond–Schneider theorem (Part 5/5) #271471

ci (fork)  /  Post-CI job

ci (fork) / Post-CI job
succeeded Feb 20, 2026 in 7s