PlanesAdvisor Rules Glossary

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

No sub-rules.