Compter les résultats groupés dans des colonnes séparées dans les pandas

J'ai des données ligne par joueur ligne par résultat ligne par essai similaires à ceci:

    player  coin
0    Alice heads
1    Alice tails
2    Alice heads
3    Alice tails
4    Alice tails
5      Bob heads
6      Bob heads
7      Bob heads
8      Bob tails
9      Bob heads

Je veux des données de nombre de colonnes par ligne par joueur et par résultat :

    player heads tails
0    Alice     2     3
1      Bob     4     1

Quelle est la manière la plus simple d'effectuer cette transformation à l'aide de pandas?

Il est possible de le faire en regroupant par (joueur, pièce de monnaie), en obtenant la taille de chaque groupe, en filtrant les données des têtes et des données des queues dans des trames de données séparées, puis en joignant ces trames de données externes. Mais cela finit par être assez verbeux.