Commit 2026-04-10 07:34 6f0e175f
View on Github →chore(Algebra/SkewPolynomial): make it an abbrev (#37863)
This PR marks SkewPolynomial as abbrev instead of def. This way, all instances are automatically inherited, and we don't need to bother with inferInstanceAs to make the instances less leaky.