Theorem neg_sq

Modification history

2024-05-16 10:23

Mathlib/Algebra/GroupPower/Ring.lean

chore: Move ring power lemmas earlier (#12818) …

Modified neg_sq View on Github →

2022-12-13 21:37

Mathlib/Algebra/GroupPower/Ring.lean

feat: port Algebra.GroupPower.Ring (#979) …

Added neg_sq View on Github →