Theorem Function.Periodic.sub_period

Modification history