Definitions SUPPORTjlc Sections NuprlLIB Doc

No mentions to report in SUPPORTjlc
sq_existsDef x:A. B(x) == {x:A| B(x) }

Syntax:x:A. B(x) has structure: sq_exists(A; x.B(x))

About:
set!abstraction

Definitions SUPPORTjlc Sections NuprlLIB Doc