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