Theorem neg_one_pow_eq_or

Modification history