Nuprl Definition : FormAnd?

FormAnd?(v) == fst(v) =a "And"

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 : FormAnd? FormAnd?

Latex:
FormAnd?(v) == fst(v) =a "And" Date html generated: 2018_05_21-PM-11_24_08 Last ObjectModification: 2017_10_10-PM-04_33_56 Theory : PZF Home Index