Nuprl Definition : pgeo-LPSepOr

LPSepOr(l;p;q) == g."LPSepOr" l p q

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 : LPSepOr

Latex:
LPSepOr(l;p;q) == g."LPSepOr" l p q Date html generated: 2018_05_22-PM-00_29_21 Last ObjectModification: 2017_10_27-AM-09_11_43 Theory : euclidean!plane!geometry Home Index