Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-04-22 12:15 6729cca2

View on Github →

feat(set_theory/game/pgame): simp + private (#13596)

Estimated changes

modified theorem pgame.not_le
deleted theorem pgame.not_le_lt
modified theorem pgame.not_lt