chore(linear_algebra/affine_space/barycentric_coords): rename file `b…

…arycentric_coords` to `basis` (#10449) Follow up from #10320 (comment)
leanprover-community · Nov 26, 2021 · 9249e1e · 9249e1e
1 parent 28d9a5b
commit 9249e1e
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 2 deletions.
diff --git a/src/analysis/convex/combination.lean b/src/analysis/convex/combination.lean
@@ -5,7 +5,7 @@ Authors: Yury Kudriashov
 -/
 import algebra.big_operators.order
 import analysis.convex.hull
-import linear_algebra.affine_space.barycentric_coords
+import linear_algebra.affine_space.basis
 
 /-!
 # Convex combinations

diff --git a/src/analysis/normed_space/add_torsor_bases.lean b/src/analysis/normed_space/add_torsor_bases.lean
@@ -6,7 +6,7 @@ Authors: Oliver Nash
 import analysis.normed_space.banach
 import analysis.normed_space.finite_dimension
 import analysis.convex.combination
-import linear_algebra.affine_space.barycentric_coords
+import linear_algebra.affine_space.basis
 import linear_algebra.affine_space.finite_dimensional
 
 /-!

diff --git a/...ebra/affine_space/barycentric_coords.lean → src/linear_algebra/affine_space/basis.lean b/...ebra/affine_space/barycentric_coords.lean → src/linear_algebra/affine_space/basis.lean