mathlib3

feat(set_theory/game/basic): review comparison API

#14940

Open