Theorem Function.Periodic.zsmul_eq

Modification history