Skip to content

Add PentagonalNumberTheoremAnalytic: Euler's pentagonal number theorem by two independent proofs - #446

Merged
Vilin97 merged 36 commits into
LeanPool:mainfrom
JonCYeh:conrad/pentagonal-number-theorem
Sep 21, 2026
Merged

Vilin97 merged 36 commits into
LeanPool:mainfrom
JonCYeh:conrad/pentagonal-number-theorem

Merge remote-tracking branch 'origin/main' into pr-446

5b846a0
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

2 warnings and 1 notice
Project metadata advisory
succeeded Sep 21, 2026 in 21s