Theorem neg_one_pow_mul_eq_zero_iff

Modification history