Commit 2022-04-29 22:22 24bc2e1c
View on Github →feat(set_theory/surreal/basic): add pgame.numeric.left_lt_right
(#13809)
Also compress some trivial proofs into a single line
feat(set_theory/surreal/basic): add pgame.numeric.left_lt_right
(#13809)
Also compress some trivial proofs into a single line