Nuprl Definition : geo-SCS
SCS(a;b;c;d) == SC(SymmetricPoint(SC(a;b;c;d);a);b;c;d)
Definitions occuring in Statement :
sympoint: SymmetricPoint(a;p),
geo-SC: SC(a;b;c;d)
Definitions occuring in definition :
geo-SC: SC(a;b;c;d),
sympoint: SymmetricPoint(a;p)
FDL editor aliases :
geo-SCS
Latex:
SCS(a;b;c;d) == SC(SymmetricPoint(SC(a;b;c;d);a);b;c;d)
Date html generated:
2018_05_22-AM-11_54_53
Last ObjectModification:
2018_03_30-PM-05_47_11
Theory : euclidean!plane!geometry
Home
Index