Commit 2025-11-14 11:51 990c031c
View on Github →feat(Geometry/Euclidean/Incenter): incenter_mem_interior (#31493)
Add a direct statement that the incenter of a simplex lies in its interior (along with factoring out a lemma excenterWeights_empty_pos that turns out to be useful several times in its proof).