Nuprl Definition : geo-le-pt
ab≤cd == ∃y:Point. (c_y_d ∧ ab ≅ cy)
Definitions occuring in Statement :
geo-congruent: ab ≅ cd,
geo-between: a_b_c,
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-between: a_b_c,
geo-congruent: ab ≅ cd
FDL editor aliases :
geo-le-pt
geo-le-pt
Latex:
ab\mleq{}cd == \mexists{}y:Point. (c\_y\_d \mwedge{} ab \00D0 cy)
Date html generated:
2017_10_02-PM-06_45_43
Last ObjectModification:
2017_08_05-PM-04_50_43
Theory : euclidean!plane!geometry
Home
Index