Theorem Function.Periodic.sub_nat_mul_eq

Modification history