Theorem CharTwo.intCast_eq_ite

Modification history

2026-03-17 23:30
Mathlib/Algebra/CharP/Two.lean
feat: Nat/Int casts on char two rings (#34622)
Added CharTwo.intCast_eq_iteView on Github →