Theorem Int.negOnePow_succ

Modification history

2025-12-20 10:21
Mathlib/Algebra/Ring/NegOnePow.lean
chore(Algebra): fix whitespace (#32906)
Modified Int.negOnePow_succView on Github →
2023-09-04 17:35
Mathlib/Algebra/GroupPower/NegOnePow.lean
feat(Algebra): integer powers of -1 (#6720) …
Added Int.negOnePow_succView on Github →