Pólya enumeration theorem

1. Burnside’s lemma Burnside’s lemma was formulated and proven by Burnside in 1897, but historically it was already discovered in 1887 by Frobenius, and even earlier in 1845 by Cauchy. […]