Theorem Function.IsPeriodicPt.iterate_mod_apply

Modification history