Nuprl Definition : FormMember?

FormMember?(v) == fst(v) =a "Member"

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

Latex:
FormMember?(v) == fst(v) =a "Member" Date html generated: 2018_05_21-PM-11_23_36 Last ObjectModification: 2017_10_10-PM-04_33_45 Theory : PZF Home Index