Theorem Function.Antiperiodic.nat_even_mul_periodic

Modification history