basic): add `pgame.numeric.left_lt_right` (#13809)

Commit

3 years ago

feat(set_theory/surreal/basic): add `pgame.numeric.left_lt_right` (#13809) Also compress some trivial proofs into a single line

Author

vihdzp

Parents