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).