Theorem Function.minimalPeriod_eq_zero_of_nmem_periodicPts

Modification history