In aggregate, these contain more than 10,000 formal definitions of mathematical objects and about 52,000 theorems proved on these objects.
Zusammen umfassen diese mehr als 10.000 formale Definitionen mathematischer Objekte und etwa 52.000 bewiesene Theoreme über diese Objekte.