Theorem Function.Periodic.int_mul_sub_eq

Modification history