In this section

Historical Rules · 4 October 2019

Rule 401.3

Official source text from the 4 October 2019 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