Theorem Function.Antiperiodic.add_const

Modification history