Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-05-02 04:39 26e24c75

View on Github →

feat(set_theory/surreal/basic): < is transitive on numeric games (#13812)

Estimated changes

added theorem pgame.lt_trans'
added theorem pgame.lt_trans