MarkB generic Sections NuprlLIB Doc

Def isl(x) == InjCase(x; y. true; z. false)

is mentioned

In prior sections: union


MarkB generic Sections NuprlLIB Doc