Theorem Function.Periodic.div_const

Modification history