Theorem IsPrimitiveRoot.adjoin_isCyclotomicExtension

Modification history