Theorem IsCyclotomicExtension.nonempty_algEquiv_adjoin_of_exists_isPrimitiveRoot

Modification history