Theorem neg_pow'

Modification history

2024-05-16 10:23
Mathlib/Algebra/GroupPower/Ring.lean
chore: Move ring power lemmas earlier (#12818) …
Modified neg_pow'View on Github →
2023-09-26 09:02
Mathlib/Algebra/GroupPower/Ring.lean
feat: lemmas about divisibility, mostly related to nilpotency (#7355)
Added neg_pow'View on Github →