Theorem SetTheory.Game.small_setOf_birthday_lt

Modification history

2024-11-04 12:29
Mathlib/SetTheory/Game/Birthday.lean
feat(SetTheory/Game/Birthday): games with bounded birthday are a small set (#16595)
Added SetTheory.Game.small_setOf_birthday_ltView on Github →