Theorem Algebra.isCyclotomicExtension_adjoin_of_exists_isPrimitiveRoot

Modification history