Commit 2025-10-06 10:49 c9e53858
View on Github →feat(Algebra/Order/Ring): make IsOrderedRing.toStrictOrderedRing an instance (#27178)
Requiring IsStrictOrderedRing on a Field is a footgun (the current instances come from a find and replace on LinearOrderedField). Weakening typeclasses can incur a performance hit so will be done where appropriate in future PRs.