Theorem Function.exists_iterate_apply_eq_of_mem_periodicPts

Modification history