Theorem Function.iterate_mod_minimalPeriod_eq

Modification history