Nuprl Definition : geo-length
|s| == extend OX by geo-seg1(s)geo-seg2(s)
Definitions occuring in Statement :
geo-extend: extend qa by bc,
geo-seg2: geo-seg2(s),
geo-seg1: geo-seg1(s),
geo-X: X,
geo-O: O
Definitions occuring in definition :
geo-O: O,
geo-X: X,
geo-seg1: geo-seg1(s),
geo-seg2: geo-seg2(s)
FDL editor aliases :
geo-length
geo-length
Latex:
|s| == extend OX by geo-seg1(s)geo-seg2(s)
Date html generated:
2017_10_02-PM-04_51_41
Last ObjectModification:
2017_08_05-AM-09_09_53
Theory : euclidean!plane!geometry
Home
Index