Theorem Function.minimalPeriod_eq_prime_pow

Modification history