Nuprl Definition : eu-seg-extend
s + t == <s.1, (extend s.1s.2 by t.1t.2)>
Definitions occuring in Statement :
eu-seg2: s.2,
eu-seg1: s.1,
eu-extend: (extend ab by cd),
pair: <a, b>
Definitions occuring in definition :
pair: <a, b>,
eu-extend: (extend ab by cd),
eu-seg1: s.1,
eu-seg2: s.2
FDL editor aliases :
eu-add
Latex:
s + t == <s.1, (extend s.1s.2 by t.1t.2)>
Date html generated:
2016_05_18-AM-06_36_57
Last ObjectModification:
2015_09_23-AM-09_00_12
Theory : euclidean!geometry
Home
Index