Nuprl Definition : geo-SCO
SCO(a;b;c;d) == SC(a;b;c;d)
Definitions occuring in Statement :
geo-SC: SC(a;b;c;d)
Definitions occuring in definition :
geo-SC: SC(a;b;c;d)
FDL editor aliases :
geo-SCO
Latex:
SCO(a;b;c;d) == SC(a;b;c;d)
Date html generated:
2018_05_22-AM-11_52_43
Last ObjectModification:
2018_03_30-PM-04_36_05
Theory : euclidean!plane!geometry
Home
Index