WhoCites Definitions MarkB generic Sections NuprlLIB Doc

Who Cites sq exists?
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

WhoCites Definitions MarkB generic Sections NuprlLIB Doc