Mathlib v3 is deprecated. Go to Mathlib v4

Def surreal.neg

Modification history

2022-05-01 21:51
src/set_theory/surreal/basic.lean
chore(set_theory/surreal/basic): Inline instances (#13811) …
Deleted surreal.negView on Github →
2021-04-22 10:34
src/set_theory/surreal.lean
feat(set_theory/surreal): add ordered_add_comm_group instance for surreal numbers (#7270) …
Added surreal.negView on Github →