Theorem Function.Periodic.add_antiperiod_eq

Modification history