Theorem Function.mem_periodicPts_iff_isPeriodicPt_factorial_card

Modification history