Nuprl Definition : geo-plsep
p # l == p # fst(l)fst(snd(l))
Definitions occuring in Statement :
geo-lsep: a # bc,
pi1: fst(t),
pi2: snd(t)
Definitions occuring in definition :
geo-lsep: a # bc,
pi1: fst(t),
pi2: snd(t)
FDL editor aliases :
geo-plsep
Latex:
p \# l == p \# fst(l)fst(snd(l))
Date html generated:
2018_05_22-PM-01_06_57
Last ObjectModification:
2018_03_21-AM-10_45_55
Theory : euclidean!plane!geometry
Home
Index