Nuprl Definition : geo-CCR

geo-CCR(g;a;b;c;d) ==  CC(c;d;a;b)


Definitions occuring in Statement :  geo-CC: CC(a;b;c;d)
Definitions occuring in definition :  geo-CC: CC(a;b;c;d)
FDL editor aliases :  geo-CCR
Latex:
geo-CCR(g;a;b;c;d)  ==    CC(c;d;a;b)


Date html generated: 2018_05_22-AM-11_52_54
Last ObjectModification: 2018_03_30-AM-09_50_56

Theory : euclidean!plane!geometry


Home Index