Theorem Function.Periodic.const_inv_mul

Modification history