Theorem IsCyclotomicExtension.exists_prim_root

Modification history