Nuprl Definition : geo-lt-pt
ab < cd == ∃y:Point. (c-y-d ∧ ab ≅ cy)
Definitions occuring in Statement :
geo-strict-between: a-b-c,
geo-congruent: ab ≅ cd,
geo-point: Point,
exists: ∃x:A. B[x],
and: P ∧ Q
Definitions occuring in definition :
exists: ∃x:A. B[x],
geo-point: Point,
and: P ∧ Q,
geo-strict-between: a-b-c,
geo-congruent: ab ≅ cd
FDL editor aliases :
geo-lt-pt
geo-lt-pt
Latex:
ab < cd == \mexists{}y:Point. (c-y-d \mwedge{} ab \00D0 cy)
Date html generated:
2017_10_02-PM-06_36_07
Last ObjectModification:
2017_08_05-PM-04_45_10
Theory : euclidean!plane!geometry
Home
Index