MarkB generic Sections NuprlLIB Doc

Def == {i:| i 0 }

is mentioned

In prior sections: int 1 int 2 num thy 1


MarkB generic Sections NuprlLIB Doc