Theorem Function.IsPeriodicPt.left_of_comp

Modification history