Is the number of cards in my opponent's library public knowledge in Magic: The Gathering?
Yes. From the comprehensive rules:


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