Theorem Function.Commute.minimalPeriod_of_comp_eq_mul_of_coprime

Modification history