Commit 2024-07-08 17:58 7912bc06
View on Github →chore(Subring): don't import ordered ring classes for basic things (#14126) Having the ordered ring hierarchy results available here results in extra effort for typeclass searches.
chore(Subring): don't import ordered ring classes for basic things (#14126) Having the ordered ring hierarchy results available here results in extra effort for typeclass searches.