Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-11-04 12:29
0317a269
View on Github →
feat(SetTheory/Game/Birthday): games with bounded birthday are a small set (
#16595
)
Estimated changes
Modified
Mathlib/SetTheory/Game/Birthday.lean
added
theorem
SetTheory.Game.small_setOf_birthday_lt
Modified
Mathlib/SetTheory/Game/PGame.lean
added
theorem
SetTheory.PGame.Equiv.of_exists