Theorem Function.minimalPeriod_eq_prime

Modification history