MarkB generic Sections NuprlLIB Doc

Def P Q == Q P

is mentioned

In prior sections: core well fnd


MarkB generic Sections NuprlLIB Doc