mathlib

5a24374d - doc(set_theory/game/basic): improve docs (#14268)