Commit 2023-01-26 16:33 13a04975
View on Github →feat: port GroupTheory.Archimedean (#1856)
porting note: I just used classical to get a Decidable instance for membership. I think there is nothing wrong with this, but thought I would mention it just in case.