mathlib3

087bc1f9 - feat(set_theory/game/pgame): add `equiv.comm` (#15254)