Classification of semi-algebraic $p$-adic sets up to semi-algebraic bijection

We prove that two infinite p-adic semi-algebraic sets are isomorphic (i.e. there exists a semi-algebraic bijection between them) if and only if they have the same dimension.