Mathlib

A Euclidean simplex is an affine simplex with a metric. In 2d: a triangle in the plane.