Theorem Function.isPeriodicPt_factorial_card_of_mem_periodicPts

Modification history