Ich habe den folgenden DataFrame:

    Col1  Col2  Col3  Type
0      1     2     3     1
1      4     5     6     1
...
20     7     8     9     2
21    10    11    12     2
...
45    13    14    15     3
46    16    17    18     3
...

Der DataFrame wird aus einer CSV-Datei gelesen. Alle Zeilen mitType 1 steht oben, gefolgt von den Zeilen mitType 2, gefolgt von den Zeilen mitType 3 usw.

Ich möchte die Reihenfolge der DataFrame-Zeilen mischen, sodass alleType sind gemischt. Ein mögliches Ergebnis könnte sein:

    Col1  Col2  Col3  Type
0      7     8     9     2
1     13    14    15     3
...
20     1     2     3     1
21    10    11    12     2
...
45     4     5     6     1
46    16    17    18     3
...

Wie kann ich das erreichen?