Theorem MvPolynomial.frobenius_zMod

Modification history

2023-06-05 05:13

Mathlib/FieldTheory/Finite/Polynomial.lean

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

Deleted MvPolynomial.frobenius_zMod View on Github →

2023-06-02 16:56

Mathlib/FieldTheory/Finite/Polynomial.lean

Port/FieldTheory.Finite.Polynomial (#4597)

Added MvPolynomial.frobenius_zMod View on Github →