Theorem TruncatedWittVector.charP_zmod

Modification history

2023-07-01 12:39
Mathlib/RingTheory/WittVector/Compare.lean
chore: tidy various files (#5628)
Added TruncatedWittVector.charP_zmodView on Github →