Nuprl Definition : geo-segment
geo-segment(e) == Point × Point
Definitions occuring in Statement :
geo-point: Point,
product: x:A × B[x]
Definitions occuring in definition :
product: x:A × B[x],
geo-point: Point
Latex:
geo-segment(e) == Point \mtimes{} Point
Date html generated:
2017_10_02-PM-04_43_56
Last ObjectModification:
2017_08_05-AM-09_08_40
Theory : euclidean!plane!geometry
Home
Index