Rule 701.17a

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

Find this number in the current Rules