Theorem Function.Antiperiodic.int_even_mul_periodic

Modification history