Theorem Function.Periodic.nat_mul_eq

Modification history