Commit 2026-09-09 10:59 eda2e61d

View on Github →

chore: missing CharP and CharZero instances for Matrix (#43550)

Estimated changes

modified theorem charZero_of_expChar_one'
added theorem expChar_one_iff
added theorem expChar_prime_iff
added theorem CharZero.pi