Nuprl Definition : geo-line
Line ==  x:Point × y:Point × x ≠ y
Definitions occuring in Statement : 
geo-sep: a ≠ b
, 
geo-point: Point
, 
product: x:A × B[x]
Definitions occuring in definition : 
product: x:A × B[x]
, 
geo-point: Point
, 
geo-sep: a ≠ b
FDL editor aliases : 
geo-line
Latex:
Line  ==    x:Point  \mtimes{}  y:Point  \mtimes{}  x  \mneq{}  y
Date html generated:
2018_05_22-PM-00_59_42
Last ObjectModification:
2018_01_16-PM-03_36_23
Theory : euclidean!plane!geometry
Home
Index