Theorem contDiff_barycentric_coord

Modification history

2026-10-17 16:39
Mathlib/Analysis/Calculus/AddTorsor/Coord.lean
chore: rename `smooth_barycentric_coord` to `contDiff_barycentric_coord` (#44960) …
Added contDiff_barycentric_coordView on Github →