It contained 4200 formulae and theorems, all completely stated and most of them proved.
Nó chứa 4200 công thức và các định lý, tất cả đều được trình bày hoàn chỉnh và hầu hết chúng đều đã được chứng minh.