Theorem Function.minimalPeriod_iterate_eq_div_gcd

Modification history