Commit 2023-05-21 08:56 3c517ae2

View on Github →

feat: port RingTheory.PolynomialAlgebra (#4106) This is my first attempt at porting a file. I fixed a few of the errors, but there are still two issues left.

Estimated changes