Theorem pow_eq_neg_one_iff

Modification history