Nuprl Definition : eu-length
|s| == (extend OX by s.1s.2)
Definitions occuring in Statement :
eu-seg2: s.2,
eu-seg1: s.1,
eu-extend: (extend ab by cd),
eu-X: X,
eu-O: O
Definitions occuring in definition :
eu-extend: (extend ab by cd),
eu-O: O,
eu-X: X,
eu-seg1: s.1,
eu-seg2: s.2
FDL editor aliases :
eu-length
Latex:
|s| == (extend OX by s.1s.2)
Date html generated:
2016_05_18-AM-06_37_14
Last ObjectModification:
2015_09_23-AM-09_00_13
Theory : euclidean!geometry
Home
Index