Theorem Function.Periodic.sub_nsmul_eq

Modification history