Theorem Function.Antiperiodic.mul_const

Modification history