Nuprl Definition : geo-CCL

CCL(a;b;c;d) == CC(a;b;c;d)

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-CCL

Latex:
CCL(a;b;c;d) == CC(a;b;c;d) Date html generated: 2018_05_22-AM-11_52_49 Last ObjectModification: 2018_03_30-AM-09_50_13 Theory : euclidean!plane!geometry Home Index