Theorem Function.Periodic.mul_const_inv

Modification history