Mathlib v3 is deprecated. Go to Mathlib v4

Theorem pgame.equiv.le

Modification history

2022-06-04 04:16

src/set_theory/game/pgame.lean

feat(set_theory/game/pgame): Add dot notation on many lemmas (#14149)

Added pgame.equiv.le View on Github →