Skip to content

Merge branch 'master' into analysispart4

151b61d
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Open

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

Merge branch 'master' into analysispart4
151b61d
Select commit
Loading
Failed to load commit list.
post-or-update-summary-comment
succeeded Mar 31, 2026 in 59s