MarkB generic Sections NuprlLIB Doc

Def (R^*)(x,y) == n:. x rel_exp(T;R;n) y

is mentioned

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


MarkB generic Sections NuprlLIB Doc