Theorem Function.Antiperiodic.nat_mul_sub_eq

Modification history