WhoCites Definitions MarkB generic Sections NuprlLIB Doc

Who Cites exists?
existsDef x:A. B(x) == x:AB(x)

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

About:
productexists!abstraction

WhoCites Definitions MarkB generic Sections NuprlLIB Doc