Theorem Int.negOnePow_succ

Modification history

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