His huge library was left to the newly founded Vatican library (founded by Pope Sixtus IV).
His extensive collection was bequeathed to the newly established Vatican library (founded by Pope Sixtus IV).