Theorem Function.Periodic.nat_mul

Modification history