Theorem Function.Antiperiodic.add_nat_mul_eq

Modification history