Commit 2021-04-22 10:34 8c05ff87
View on Github →feat(set_theory/surreal): add ordered_add_comm_group instance for surreal numbers (#7270) Zulip thread Add ordered_add_comm_group instance for surreal numbers.
feat(set_theory/surreal): add ordered_add_comm_group instance for surreal numbers (#7270) Zulip thread Add ordered_add_comm_group instance for surreal numbers.