Theorem Function.Periodic.const_inv_smul

Modification history