Theorem Function.Periodic.lift_coe

Modification history