Nuprl Definition : eu-perp

Perp(ab; cd) == ∃x:Point. Perp-in(x; ab; cd)

Definitions occuring in Statement : eu-perp-in: Perp-in(x; ab; cd), eu-point: Point, exists: ∃x:A. B[x]
Definitions occuring in definition : exists: ∃x:A. B[x], eu-point: Point, eu-perp-in: Perp-in(x; ab; cd)
FDL editor aliases : eu-perp

Latex:
Perp(ab; cd) == \mexists{}x:Point. Perp-in(x; ab; cd) Date html generated: 2016_05_18-AM-06_43_20 Last ObjectModification: 2015_09_23-AM-09_00_33 Theory : euclidean!geometry Home Index