mathlib3
00200778 - fix(algebra/ordered_group): remove workaround (#5103)

Commit

5 years ago

fix(algebra/ordered_group): remove workaround (#5103) The problem mentioned in the TODO has been solved so the workaround is no longer needed.

Author

kbuzzard

Parents