Historical Rules · 25 August 2017
Rule 401.3
Official source text from the 25 August 2017 Rules release
Any player may count the number of cards remaining in any player’s library at any time.
Historical Rules · 25 August 2017
Official source text from the 25 August 2017 Rules release
Any player may count the number of cards remaining in any player’s library at any time.