Mathlib v3 is deprecated. Go to Mathlib v4

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

Estimated changes