7 cards where the text includes “library” and the text includes “no card”

Infernal Tutor (Ravnica Remastered #78)
Jace, Wielder of Mysteries (War of the Spark #54)
Laboratory Maniac (Ultimate Masters #61)
Living Conundrum (Murders at Karlov Manor #63)
Ormos, Archive Keeper (Jumpstart #13)
Out of the Tombs (Warhammer 40,000 Commander #46)
Search the City (Return to Ravnica #49)

The message was clear to Sorin—time to search for something else.