Theorem Function.Periodic.neg_nsmul

Modification history