Theorem CyclotomicRing.eq_adjoin_primitive_root

Modification history