Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-05-03 12:18 b07c0f70

View on Github →

feat(set_theory/game/basic): Add le_rfl on games (#13814)

Estimated changes

modified theorem game.le_refl
added theorem game.le_rfl