Theorem expChar_prime_iff

Modification history

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