Nuprl Definition : dist-bet

Dbet(g;a;b;c) == ¬D(a;b;b;c;a;c)

Definitions occuring in Statement : dist: D(a;b;c;d;e;f), not: ¬A
Definitions occuring in definition : not: ¬A, dist: D(a;b;c;d;e;f)
FDL editor aliases : dist-bet

Latex:
Dbet(g;a;b;c) == \mneg{}D(a;b;b;c;a;c) Date html generated: 2019_10_16-PM-02_46_18 Last ObjectModification: 2018_09_14-PM-08_56_19 Theory : euclidean!plane!geometry Home Index