Theorem Function.not_isPeriodicPt_of_pos_of_lt_minimalPeriod

Modification history