MTG Rules
/
Chapters
/
400. Zones
/
Rule 401.3
401.3
Any player may count the number of cards remaining in any player’s library at any time.