Repository navigation

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

Commits on Nov 6, 2026
- Rename ramanujan_petersson to Ramanujan's conjecture and fix informal proof
  claude
  committed
  c4c79dd
Commits on Nov 7, 2026
- Apply suggestion from @alreadydone
  
  seewoo5
  and
  alreadydone
  authored
  0cffe1d
Commits on Nov 8, 2026
- Apply suggestion from @alreadydone
  
  seewoo5
  and
  alreadydone
  authored
  82d2b69