Commit 2023-03-27 13:30 b3062410

View on Github →

chore: strip trailing spaces in Data.Polynomial.RingDivision (#3126) This was introduced in #3029, due to a combination of mathport emitting trailing spaces, and the PR author not using an editor that strips them automatically (unlike vscode which does).

Estimated changes