$ nat || $true || 0.895519435297
le || c= || 0.822927070134
nat1 || op0 {} || 0.691583101846
lt || are_equipotent || 0.612725528253
primeb || ALL || 0.524333930681
prime || (are_equipotent BOOLEAN) || 0.641407772579
plus || #bslash##slash#0 || 0.483819348071
(lt nat1) || (are_equipotent {}) || 0.458118890923
bool1 || BOOLEAN || 0.449967540381
minus || #bslash#3 || 0.430477024374
bool2 || FALSE || 0.411890975982
times || [:..:] || 0.355740697731
$ Z || $ (& Relation-like (& Function-like complex-valued)) || 0.326530503845
Zopp || #quote#30 || 0.353375834975
order || Union2 || 0.321961532452
index_of || .49 || 0.418594735027
$ (finite_enumerable $V_$true) || $ (& Relation-like (& non-empty0 (& (-valued $V_(& (~ empty0) universal0)) (& T-Sequence-like (& Function-like (DOMAIN-yielding $V_(& (~ empty0) universal0))))))) || 0.379460383902
nat2 || {..}1 || 0.29471895715
bc || PFuncs || 0.318214826857
pred || Lim1 || 0.293391085322
bijn || is_strictly_quasiconvex_on || 0.277241225927
Qopp0 || #quote# || 0.267450126091
teta || Normal_forms_on || 0.247029666756
Zpred || -3 || 0.244353565334
$ $V_$true || $ (& ordinal (Element $V_(& (~ empty0) universal0))) || 0.216269963904
A || \not\11 || 0.214602022065
andb || \or\ || 0.213549019448
$ bool || $ (Element the_arity_of) || 0.312998502669
$ (=> nat bool) || $ Relation-like || 0.212940803812
max || |` || 0.289174929185
$true || $ (& (~ empty0) universal0) || 0.207005660281
divides || c=0 || 0.204984135682
nth_prime || Toler_on_subsets || 0.201650538182
permut || is_strongly_quasiconvex_on || 0.196696536186
transpose || {..}4 || 0.19655005117
cmp_cases || meets || 0.190659791371
defactorize || underlay || 0.188926772817
factorize || CatSign || 0.230075404445
frac || . || 0.188610883719
fact || HFuncs || 0.179370095629
Zplus || (#hash#)18 || 0.176078029353
compare_invert || Rev0 || 0.163424758778
mod || |_2 || 0.152571869246
(nat2 nat1) || (1. Z_2) 0_NN VertexSelector 1 (1_ F_Complex) 1r (elementary_tree NAT) ({..}1 {}) || 0.140383548643
monomio || BooleLatt || 0.189272635409
costante || ({..}2 {}) || 0.280282484467
derivative || carrier || 0.208848609445
nat_compare || <*..*>5 || 0.136152274408
Z_of_nat || subset-closed_closure_of || 0.119723303403
defactorize_aux || |->0 || 0.116792517436
$ nat_fact || $ natural || 0.126791645748
nat_fact_all3 || (choose 2) || 0.124033665609
finv || TWOELEMENTSETS || 0.185340008925
denominator || card || 0.168347351215
nat_fact_to_fraction || Seg || 0.202042188031
smallest_factor || On || 0.115034105243
$ (=> nat nat) || $ (& Function-like (Element (bool (([:..:] REAL) REAL)))) || 0.104830051409
Z3 || idsym || 0.103071108779
min || *2 || 0.0831244258406
Z2 || bool0 || 0.0819331630229
div || free_magma || 0.0679341970704
gcd || #slash##bslash#0 || 0.0654712311023
Ztimes || +23 || 0.0571061894169
