Theorems
Modular form of order 12
Kronecker's first limit formula
The number of representations of n as a sum of triangular numbers
One product-series representation
One series representation