Rule 401.3

Official source text from the 30 July 2024 Rules release

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