`OAI/NumberTheory/CubicMoment/`

13417 declarations, 0 contain sorry, 0 declared as axioms; 3549 files

Folders

Angular/ 376 files, 809 declarations
Decomposition/ 200 files, 555 declarations
Estimates/ 1335 files, 4782 declarations
Theta/ 1476 files, 6587 declarations
Transform/ 162 files, 684 declarations