Theorem Function.is_fixed_point_iff_minimalPeriod_eq_one

Modification history