Theorem Function.isPeriodicPt_of_mem_periodicPts_of_isPeriodicPt_iterate

Modification history