Category
Level
Pólya Enumeration Theorem generalizes Burnsideās Lemma by turning counting under symmetry into a polynomial substitution problem.