barycentric_coords): rename file `barycentric_coords` to `basis` (#10449)

Commit

4 years ago

chore(linear_algebra/affine_space/barycentric_coords): rename file `barycentric_coords` to `basis` (#10449) Follow up from https://github.com/leanprover-community/mathlib/pull/10320#discussion_r748936743

Author

ocfnash

Parents

28d9a5b1

mathlib3 9249e1e6 - chore(linear_algebra/affine_space/barycentric_coords): rename file `barycentric_coords` to `basis` (#10449)

mathlib3
9249e1e6 - chore(linear_algebra/affine_space/barycentric_coords): rename file `barycentric_coords` to `basis` (#10449)