basic): definition of `≤` and `<` on numeric games (#14169)

Commit

3 years ago

feat(set_theory/surreal/basic): definition of `≤` and `<` on numeric games (#14169)

Author

vihdzp

Parents