Theorem Function.le_of_lt_minimalPeriod_of_iterate_eq

Modification history