Commit 2025-12-10 20:52 89111f40

feat(Geometry/Euclidean/Incenter): orthRadius lemmas (#31733) Add lemmas, in the case where the dimensions are such that the simplex spans the whole space, exspheres are not merely tangent to the faces but the faces are the full tangent spaces (orthRadius).