in Battlegrounds, do minions from players that just died go back to the 'pool'?

in Battlegrounds, you select minions from a pool that you share with other players. when you sell your minions, they go back to the shared pool. What about when a player die, do the minions that they had in play go back in the pool?


The minions do go back into the pool if they sell the minion or die.

This guide has a good write up.

Specifically this link in the article.