Triangular inequality for 3d Euclidean simplicial complex in loop quantum gravity. (August 2019)