Graphs
Sections
NuprlLIB
Doc
Def
array-count(v.P(v);a) == sum(if P(a[i])
1 else 0 fi | i < |a|)
is mentioned
In prior sections:
graph
1
2
Graphs
Sections
NuprlLIB
Doc
1 else 0 fi | i < |a|)