Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-06-04 04:16 e1b3351d

View on Github →

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

Estimated changes

modified theorem pgame.grundy_value_star
modified theorem pgame.grundy_value_zero
added theorem has_le.le.not_lf
added theorem pgame.equiv.ge
added theorem pgame.equiv.le
modified theorem pgame.equiv_refl
modified theorem pgame.equiv_rfl
deleted theorem pgame.equiv_symm
deleted theorem pgame.equiv_trans
added theorem pgame.lf.not_equiv'
added theorem pgame.lf.not_equiv
added theorem pgame.lf.not_le
added theorem pgame.lf.not_lt
modified theorem pgame.lf_irrefl
modified theorem pgame.lf_of_fuzzy
modified theorem pgame.lf_of_lt
modified theorem pgame.le_of_lf
modified theorem pgame.lt_of_lf