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