Nuprl Definition : dist-tri
Dtri(g;a;b;c) == D(a;b;b;c;a;c) ∧ D(a;c;b;c;a;b) ∧ D(a;c;a;b;b;c)
Definitions occuring in Statement :
dist: D(a;b;c;d;e;f),
and: P ∧ Q
Definitions occuring in definition :
and: P ∧ Q,
dist: D(a;b;c;d;e;f)
FDL editor aliases :
dist-tri
Latex:
Dtri(g;a;b;c) == D(a;b;b;c;a;c) \mwedge{} D(a;c;b;c;a;b) \mwedge{} D(a;c;a;b;b;c)
Date html generated:
2019_10_16-PM-02_45_42
Last ObjectModification:
2018_10_02-AM-11_11_03
Theory : euclidean!plane!geometry
Home
Index