  For a drawing of a labeled graph, the rotation of a vertex or crossing is the
cyclic order of its incident edges, represented by the labels of their other
endpoints. The extended rotation system (ERS) of the drawing is the collection
of the rotations of all vertices and crossings. A drawing is simple if each
pair of edges has at most one common point. Gioan's Theorem states that for any
two simple drawings of the complete graph $K_n$ with the same crossing edge
pairs, one drawing can be transformed into the other by a sequence of triangle
flips (a.k.a. Reidemeister moves of Type 3). This operation refers to the act
of moving one edge of a triangular cell formed by three pairwise crossing edges
over the opposite crossing of the cell, via a local transformation.
  We investigate to what extent Gioan-type theorems can be obtained for wider
classes of graphs. A necessary (but in general not sufficient) condition for
two drawings of a graph to be transformable into each other by a sequence of
triangle flips is that they have the same ERS. As our main result, we show that
for the large class of complete multipartite graphs, this necessary condition
is in fact also sufficient. We present two different proofs of this result, one
of which is shorter, while the other one yields a polynomial time algorithm for
which the number of needed triangle flips for graphs on $n$ vertices is bounded
by $O(n^{16})$. The latter proof uses a Carath\'eodory-type theorem for simple
drawings of complete multipartite graphs, which we believe to be of independent
interest.
  Moreover, we show that our Gioan-type theorem for complete multipartite
graphs is essentially tight in the sense that having the same ERS does not
remain sufficient when removing or adding very few edges.
