Nuprl Definition : dist-sep
Dsep(g;a;b) == D(a;b;b;b;b;b)
Definitions occuring in Statement :
dist: D(a;b;c;d;e;f)
Definitions occuring in definition :
dist: D(a;b;c;d;e;f)
FDL editor aliases :
dist-sep
Latex:
Dsep(g;a;b) == D(a;b;b;b;b;b)
Date html generated:
2019_10_16-PM-02_45_07
Last ObjectModification:
2018_09_14-PM-08_44_27
Theory : euclidean!plane!geometry
Home
Index