Theorem Function.Periodic.zsmul_sub_eq

Modification history