mathlib

eb973896 - feat(linear_algebra/affine_space/affine_subspace): spans of two points (#16770)

feat(linear_algebra/affine_space/affine_subspace): spans of two points (#16770) Add lemmas about the `vector_span` and `affine_span` of two points (analogous to `span_singleton` lemmas for `submodule`).