Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-09-27 08:58 b6ce982d

View on Github →

refactor(*): create directory field_theory/finite (#4212) facts on finite fields needed facts on polynomials facts on polynomials wanted to use things about finite fields this PR reorganises some of the imports at the moment it also contributes a bit of new stuff, and depends on two other PRs that add new stuff.

Estimated changes