Theorem Function.Periodic.mul_const'

Modification history