mathlib3

c096a33a - feat(set_theory/game/birthday): Game birthday is zero iff empty (#13715)