Skip to content

Ramanujan-Petersson: rename to Ramanujan & update informal proof - #669

Open
seewoo5 wants to merge 3 commits into
leanprover:mainfrom
seewoo5:claude/serene-faraday-jeh5pt
Open

Ramanujan-Petersson: rename to Ramanujan & update informal proof#669
seewoo5 wants to merge 3 commits into
leanprover:mainfrom
seewoo5:claude/serene-faraday-jeh5pt

Apply suggestion from @alreadydone

82d2b69
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
Classify changes
succeeded Nov 8, 2026 in 1m 12s