MarkB generic Sections NuprlLIB Doc

Def (P Q)(L) == P(L) & Q(L)

is mentioned

In prior sections: mb nat


MarkB generic Sections NuprlLIB Doc