Theorem Function.eq_of_lt_minimalPeriod_of_iterate_eq

Modification history