Nuprl Definition : sympoint
SymmetricPoint(a;p) == SCO(p;a;a;p)
Definitions occuring in Statement :
geo-SCO: SCO(a;b;c;d)
Definitions occuring in definition :
geo-SCO: SCO(a;b;c;d)
FDL editor aliases :
sympoint
Latex:
SymmetricPoint(a;p) == SCO(p;a;a;p)
Date html generated:
2018_05_22-AM-11_53_31
Last ObjectModification:
2018_03_21-PM-02_24_28
Theory : euclidean!plane!geometry
Home
Index