Commit 2020-11-25 03:17 00200778
View on Github →fix(algebra/ordered_group): remove workaround (#5103) The problem mentioned in the TODO has been solved so the workaround is no longer needed.
fix(algebra/ordered_group): remove workaround (#5103) The problem mentioned in the TODO has been solved so the workaround is no longer needed.