When you perform a search on some of the actual discovery tools for library catalogues, as Summon, you find not only the books of your collection, but Hathi Trust books too.

So, Complutense digitized books are searchable when you search your library catalog.