MarkB generic Sections NuprlLIB Doc

Def pq == p q

is mentioned

In prior sections: bool 1


MarkB generic Sections NuprlLIB Doc