Euler's pentagonal number theorem

Source: url:https://en.wikipedia.org/wiki/Pentagonal_number_theorem Authors: Weiyi Wang Status: verified Main declarations: pentagonalNumberTheorem_powerSeries, Nat.Partition.sum_partition Tags: number-theory, combinatorics, partitions, power-series, pentagonal-number-theorem MSC: 11P81, 05A17