Nuprl Definition : geo-point

Point ==  g."Point"


Definitions occuring in Statement :  token: "$token",  record-select: r.x
Definitions occuring in definition :  record-select: r.x,  token: "$token"
FDL editor aliases :  geo-pt geo-pt
Latex:
Point  ==    g."Point"


Date html generated: 2017_10_02-PM-03_25_39
Last ObjectModification: 2017_08_04-PM-05_44_13

Theory : euclidean!plane!geometry


Home Index