Theorem Function.Antiperiodic.const_smul

Modification history