Documentation

FormalBook.Chapter_23

A theorem of Pólya on polynomials #

TODO #