Theorem Function.IsPeriodicPt.left_of_add

Modification history