Primitive roots of unity and cyclotomic polynomials

by Broderic Arneson , Piotr Rudnicki
Venue:Journal of Formalized Mathematics
Citations:4 - 1 self