MarkB generic Sections NuprlLIB Doc

Def sum(f(x;y) | x < n; y < m) == sum(sum(f(x;y) | y < m) | x < n)

is mentioned

In prior sections: mb nat mb list 2 mb list 1


MarkB generic Sections NuprlLIB Doc