Theorem Function.IsPeriodicPt.eq_zero_of_lt_minimalPeriod

Modification history