Theorem eq_neg_self_iff

Modification history

2024-08-12 19:34
Mathlib/Algebra/CharZero/Lemmas.lean
perf(CharP/CharZero): scope simp theorems with weak keys (#15631) …
Deleted eq_neg_self_iffView on Github →
2023-11-30 22:26
Mathlib/Algebra/CharZero/Lemmas.lean
feat: add a few simp lemmas (#8750) …
Modified eq_neg_self_iffView on Github →
2022-12-24 11:23
Mathlib/Algebra/CharZero/Lemmas.lean
feat: port Algebra.CharZero.Lemmas (#1164) …
Added eq_neg_self_iffView on Github →