Theorem Function.Periodic.mul_const

Modification history