701.13a

For a player to mill a number of cards, that player puts that many cards from the top of their library into their graveyard.