It contained 4200 formulae and theorems, all completely stated and most of them proved.
Selles oli 4200 valemit ja teoreemi, enamus neist koos tõestustega.