Nuprl Definition : pgeo-lsep
l ≠ m == ∃a:Point. (a I l ∧ a ≠ m)
Definitions occuring in Statement :
pgeo-incident: a I b,
pgeo-plsep: a ≠ b,
pgeo-point: Point,
exists: ∃x:A. B[x],
and: P ∧ Q
Definitions occuring in definition :
exists: ∃x:A. B[x],
pgeo-point: Point,
and: P ∧ Q,
pgeo-incident: a I b,
pgeo-plsep: a ≠ b
FDL editor aliases :
pgeo-lsep
Latex:
l \mneq{} m == \mexists{}a:Point. (a I l \mwedge{} a \mneq{} m)
Date html generated:
2018_05_22-PM-00_24_31
Last ObjectModification:
2017_11_21-PM-04_38_00
Theory : euclidean!plane!geometry
Home
Index