Mathlib v3 is deprecated. Go to Mathlib v4

Theorem pgame.numeric.neg

Modification history

2022-04-28 22:42

src/set_theory/surreal/basic.lean

chore(set_theory/surreal/basic): Allow dot notation on `pgame.numeric` (#13768) …

Added pgame.numeric.neg View on Github →