barycentric_coords): we can recover a point from its barycentric coordinates (#9629)

Commit

5 years ago

feat(linear_algebra/affine_space/barycentric_coords): we can recover a point from its barycentric coordinates (#9629) Formalized as part of the Sphere Eversion project.

Author

ocfnash

Parents

0bd14ba9

mathlib c02a6559 - feat(linear_algebra/affine_space/barycentric_coords): we can recover a point from its barycentric coordinates (#9629)

mathlib
c02a6559 - feat(linear_algebra/affine_space/barycentric_coords): we can recover a point from its barycentric coordinates (#9629)