Nuprl Definition : geo-SS

geo-SS(g;a;b;u;v) == g."SS" a b u v

Definitions occuring in Statement : apply: f a, token: "$token", record-select: r.x
Definitions occuring in definition : apply: f a, record-select: r.x, token: "$token"
FDL editor aliases : geo-SS

Latex:
geo-SS(g;a;b;u;v) == g."SS" a b u v Date html generated: 2017_10_02-PM-03_26_23 Last ObjectModification: 2017_08_04-PM-09_42_20 Theory : euclidean!plane!geometry Home Index