Theorem Function.Antiperiodic.nat_mul_eq_of_eq_zero

Modification history