Definable G sets
equivariant definable triangulations
o-minimal
Let G be a finite group. We prove that every definable G set in a representation Ω of G admits an equivariant definable triangulation (L, φ) such that for each open simplex int (△) of L, φ(int(△)) is a locally closed definable C^γsubmanifold of Ω and that it induces a definable triangulation of X