Datos bibliográficos de confianza para la validación de búsqueda de libros.
Eficiente exploración y navegación del teorema de Mathlib4.
