Theorem Function.Antiperiodic.add_nsmul_eq

Modification history