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.