Nuprl Definition : FormExists?

FormExists?(v) == fst(v) =a "Exists"

Definitions occuring in Statement : eq_atom: x =a y, pi1: fst(t), token: "$token"
Definitions occuring in definition : eq_atom: x =a y, pi1: fst(t), token: "$token"
FDL editor aliases : FormExists? FormExists?

Latex:
FormExists?(v) == fst(v) =a "Exists" Date html generated: 2018_05_21-PM-11_24_49 Last ObjectModification: 2017_10_10-PM-04_34_48 Theory : PZF Home Index