Nuprl Definition : geo-gt-prim
ab>cd) == g."O" a b c d
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-gt-prim
Latex:
ab>cd) == g."O" a b c d
Date html generated:
2019_10_16-PM-01_11_47
Last ObjectModification:
2019_09_03-AM-11_53_18
Theory : euclidean!plane!geometry
Home
Index