In this section

Historical Rules · 15 February 2021

Rule 401.3

Official source text from the 15 February 2021 Rules release

Permalink

Any player may count the number of cards remaining in any player’s library at any time.

Find this number in the current Rules