Nuprl Definition : geo-add-length

p + q ==  extend Op by Xq


Definitions occuring in Statement :  geo-extend: extend qa by bc,  geo-X: X,  geo-O: O
Definitions occuring in definition :  geo-extend: Error :geo-extend,  geo-O: O,  geo-X: X
FDL editor aliases :  geo-add-length geo-add-length
Latex:
p  +  q  ==    extend  Op  by  Xq


Date html generated: 2017_10_02-PM-04_53_13
Last ObjectModification: 2017_08_05-PM-04_10_16

Theory : euclidean!plane!geometry


Home Index