Theorem Function.Antiperiodic.mul_const'

Modification history