Theorem Function.minimalPeriod_eq_minimalPeriod_iff

Modification history