Mihir, Tome Seeker

At the beginning of your upkeep, if the
number of cards in your library is equal to
the number of cards in your starting deck,
you win the game.
{x}{u}{b},{t}: Target player shuffles X target cards from their hand, graveyard and/or
exile into their library