Theorem TruncatedWittVector.charP_zMod

Modification history

2023-07-01 12:39
Mathlib/RingTheory/WittVector/Compare.lean
chore: tidy various files (#5628)
Deleted TruncatedWittVector.charP_zModView on Github →
2023-06-28 18:09
Mathlib/RingTheory/WittVector/Compare.lean
feat: port ring theory.witt_vector.compare (#5555)
Added TruncatedWittVector.charP_zModView on Github →