mathlib

46023701 - feat(set_theory/game/birthday): More basic lemmas on birthdays (#13729)