Theorem CharTwo.neg_natCast_eq

Modification history

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