Commit 2026-10-17 16:39 6fbfede3
View on Github →chore: rename smooth_barycentric_coord to contDiff_barycentric_coord (#44960)
This lemma used to be spelled with Smooth, but mathlib has hence removed this
definition in favour of just ContDiff: adjust the name accordingly.