Theorem IntermediateField.isCyclotomicExtension_adjoin_of_exists_isPrimitiveRoot

Modification history