Theorem expChar_one_iff

Modification history

2026-09-09 10:59
Mathlib/Algebra/CharP/Defs.lean
chore: missing CharP and CharZero instances for Matrix (#43550)
Added expChar_one_iffView on Github →