Theorem Function.IsPeriodicPt.minimalPeriod_le

Modification history