Theorem CharZero.pi

Modification history

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