Theorem Function.minimalPeriod_pos_iff_mem_periodicPts

Modification history