category | units |
|
|
|
|
|
sizes | characters (files) | 377 (1) | nodes (objects) | 779 (6) | intrinsic loss factor | 2.1 |
propositions | theorems | 2 | lemmas | 1 | total | 3 |
concepts | declared | 0 | defined | 3 | total | 3 |
component | plane | files |
examples | terms with special features | ex_cpr_omega |