Nuprl Definition : pgeo-PLSepOr

PLSepOr(a;l;m) == g."PLSepOr" a l m

Definitions occuring in Statement : apply: f a, token: "$token", record-select: r.x
Definitions occuring in definition : apply: f a, record-select: r.x, token: "$token"
FDL editor aliases : PLSepOr

Latex:
PLSepOr(a;l;m) == g."PLSepOr" a l m Date html generated: 2018_05_22-PM-00_29_03 Last ObjectModification: 2017_10_27-AM-08_44_04 Theory : euclidean!plane!geometry Home Index