Commit 2024-01-31 15:43 7e1799b7

View on Github →

feat(Parity): add lemmas about x ^ n = ±y ^ n (#9881)

Estimated changes

modified theorem neg_one_pow_eq_one_iff_even
added theorem pow_eq_neg_one_iff
added theorem pow_eq_neg_pow_iff
added theorem pow_eq_one_iff_cases
added theorem pow_eq_pow_iff_cases