Nuprl Definition : FormOr?

FormOr?(v) == fst(v) =a "Or"

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

Latex:
FormOr?(v) == fst(v) =a "Or" Date html generated: 2018_05_21-PM-11_24_19 Last ObjectModification: 2017_10_10-PM-04_34_11 Theory : PZF Home Index