Theorem Function.Antiperiodic.nat_odd_mul_antiperiodic

Modification history