Nuprl Definition : geo-gt
cd > ab == ↓∃w:Point. (c_w_d ∧ cw ≅ ab ∧ w ≠ d)
Definitions occuring in Statement :
geo-congruent: ab ≅ cd,
geo-between: a_b_c,
geo-sep: a ≠ b,
geo-point: Point,
exists: ∃x:A. B[x],
squash: ↓T,
and: P ∧ Q
Definitions occuring in definition :
squash: ↓T,
exists: ∃x:A. B[x],
geo-point: Point,
geo-between: a_b_c,
and: P ∧ Q,
geo-congruent: ab ≅ cd,
geo-sep: a ≠ b
FDL editor aliases :
geo-gt
geo-gt
Latex:
cd > ab == \mdownarrow{}\mexists{}w:Point. (c\_w\_d \mwedge{} cw \00D0 ab \mwedge{} w \mneq{} d)
Date html generated:
2017_10_02-PM-03_25_56
Last ObjectModification:
2017_08_04-PM-05_46_39
Theory : euclidean!plane!geometry
Home
Index