Nuprl Definition : ip-ge
cd ≥ ab == ¬¬(∃w:Point. (c_w_d ∧ cw=ab))
Definitions occuring in Statement :
ip-between: a_b_c,
ip-congruent: ab=cd,
ss-point: Point,
exists: ∃x:A. B[x],
not: ¬A,
and: P ∧ Q
Definitions occuring in definition :
not: ¬A,
exists: ∃x:A. B[x],
ss-point: Point,
and: P ∧ Q,
ip-between: a_b_c,
ip-congruent: ab=cd
FDL editor aliases :
ip-ge
Latex:
cd \mgeq{} ab == \mneg{}\mneg{}(\mexists{}w:Point. (c\_w\_d \mwedge{} cw=ab))
Date html generated:
2017_10_05-AM-00_02_16
Last ObjectModification:
2017_03_19-PM-11_11_04
Theory : inner!product!spaces
Home
Index