Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2022-04-24 02:22
92ca1369
View on Github →
feat(set_theory/game/pgame): Birthdays of pre-games (
#13636
)
Estimated changes
Created
src/set_theory/game/birthday.lean
added
theorem
pgame.birthday_def
added
theorem
pgame.birthday_move_left_lt
added
theorem
pgame.birthday_move_right_lt
added
theorem
pgame.birthday_zero
added
theorem
pgame.lt_birthday_iff
added
theorem
pgame.relabelling.birthday_congr