category | objects |
|
|
|
|
|
sizes | files | 2 | characters | 594 | nodes | 779 |
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 |