Nuprl Definition : geo-seg-proper
geo-seg-proper(e; s) == geo-seg1(s) ≠ geo-seg2(s)
Definitions occuring in Statement :
geo-seg2: geo-seg2(s),
geo-seg1: geo-seg1(s),
geo-sep: a ≠ b
Definitions occuring in definition :
geo-sep: a ≠ b,
geo-seg1: geo-seg1(s),
geo-seg2: geo-seg2(s)
Latex:
geo-seg-proper(e; s) == geo-seg1(s) \mneq{} geo-seg2(s)
Date html generated:
2017_10_02-PM-04_44_28
Last ObjectModification:
2017_08_05-AM-09_09_07
Theory : euclidean!plane!geometry
Home
Index