Theorem MvPolynomial.expand_zmod

Modification history

2023-06-05 05:13

Mathlib/FieldTheory/Finite/Polynomial.lean

feat: port RingTheory.WittVector.StructurePolynomial (#4633)

Added MvPolynomial.expand_zmod View on Github →