Theorem Function.Antiperiodic.const_mul

Modification history