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