Theorem Function.Periodic.nat_mul_sub_eq

Modification history