Nuprl Definition : midpoint-construction

Mid(a;b) ==  geo-SS(e;b;a;CC(b;a;a;b);CC(a;b;b;a))


Definitions occuring in Statement :  geo-CC: CC(a;b;c;d),  geo-SS: geo-SS(g;a;b;u;v)
Definitions occuring in definition :  geo-CC: CC(a;b;c;d),  geo-SS: geo-SS(g;a;b;u;v)
FDL editor aliases :  midpoint-construction
Latex:
Mid(a;b)  ==    geo-SS(e;b;a;CC(b;a;a;b);CC(a;b;b;a))


Date html generated: 2018_05_22-PM-00_07_55
Last ObjectModification: 2018_03_30-AM-10_55_56

Theory : euclidean!plane!geometry


Home Index