2021-11-23 20:50
src/linear_algebra/affine_space/barycentric_coords.lean
feat(linear_algebra/affine_space/barycentric_coords): characterise affine bases in terms of coordinate matrices (#10370) …
Added affine_basis.affine_span_eq_top_of_to_matrix_left_inv