Theorem Function.Antiperiodic.sub_eq'

Modification history