Theorem nat.neg_one_pow_eq_one_iff_even
Modification history
2022-04-12 13:28
src/data/nat/parity.lean
chore(*/parity): Generalize lemmas and clarify names (#13268) …
Deleted nat.neg_one_pow_eq_one_iff_evenView on Github →2021-02-03 12:26
src/data/nat/parity.lean
chore(data/nat/parity): rename type variable (#6016)
Modified nat.neg_one_pow_eq_one_iff_evenView on Github →