Theorem Function.Periodic.add_const

Modification history