Theorem Int.negOnePow_eq_neg_one_iff

Modification history

2023-09-04 17:35
Mathlib/Algebra/GroupPower/NegOnePow.lean
feat(Algebra): integer powers of -1 (#6720) …
Added Int.negOnePow_eq_neg_one_iffView on Github →