Nuprl Definition : eu-add-length
p + q == (extend Op by Xq)
Definitions occuring in Statement :
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
FDL editor aliases :
eu-add-length
Latex:
p + q == (extend Op by Xq)
Date html generated:
2016_05_18-AM-06_37_48
Last ObjectModification:
2015_09_23-AM-09_00_18
Theory : euclidean!geometry
Home
Index