Mitchell appeared to have suffered the injury during warmups during halftime of Game 4. He did not return to the game.