Theorem CharTwo.neg_one_eq_one

Modification history

2026-10-08 14:19
Mathlib/Algebra/CharP/Two.lean
feat(Algebra/CharP/Two): weaken theorem hypothesis (#42346) …
Added CharTwo.neg_one_eq_oneView on Github →