Theorem Function.isPeriodicPt_iff_minimalPeriod_dvd

Modification history