Theorem IsCyclotomicExtension.finrank

Modification history