Commit 2024-09-16 17:23 db1926d7
View on Github →feat(SetTheory/Game/Birthday): Define birthday of a game (#15716) The updated module description explains how this differs from the birthday of a pre-game.
feat(SetTheory/Game/Birthday): Define birthday of a game (#15716) The updated module description explains how this differs from the birthday of a pre-game.