Theorem IsCyclotomicExtension.finiteDimensional

Modification history