Nuprl Definition : eu-segment
Segment == Point × Point
Definitions occuring in Statement :
eu-point: Point,
product: x:A × B[x]
Definitions occuring in definition :
product: x:A × B[x],
eu-point: Point
FDL editor aliases :
eu-segment
Latex:
Segment == Point \mtimes{} Point
Date html generated:
2016_05_18-AM-06_36_08
Last ObjectModification:
2015_09_23-AM-09_00_04
Theory : euclidean!geometry
Home
Index