Theorem Function.minimalPeriod_eq_prime_iff

Modification history