Nuprl Definition : eqtri
Δ(a;b) == CCL(a;b;b;a)
Definitions occuring in Statement :
geo-CCL: CCL(a;b;c;d)
Definitions occuring in definition :
geo-CCL: CCL(a;b;c;d)
FDL editor aliases :
eqtri
Latex:
\mDelta{}(a;b) == CCL(a;b;b;a)
Date html generated:
2018_05_22-AM-11_53_38
Last ObjectModification:
2018_03_21-AM-11_40_02
Theory : euclidean!plane!geometry
Home
Index