Theorem wittPolynomial_zmod_self

Modification history

2023-08-04 22:34
Mathlib/RingTheory/WittVector/WittPolynomial.lean
chore: tidy various files (#6291)
Added wittPolynomial_zmod_selfView on Github →