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