[{"data":1,"prerenderedAt":4},["ShallowReactive",2],{"rqUukP6VnY":3},"# Pentagonal Number Theorem\n\n[![Documentation](https://img.shields.io/badge/Documentation-passing-green)](https://wwylele.github.io/PentagonalNumberTheorem/docs/PentagonalNumber.html)\n\nFormalization of [pentagonal number theorem](https://en.wikipedia.org/wiki/Pentagonal_number_theorem)",1780242001583]