MarkB generic Sections NuprlLIB Doc

Def sum(f(x) | x < k) == primrec(k;0;x,n. n+f(x))

is mentioned

In prior sections: mb nat mb list 2


MarkB generic Sections NuprlLIB Doc