[Merged by Bors] - feat: vectorSpan k (v +ᵥ s) = vectorSpan k s

[Merged by Bors] - feat: vectorSpan k (v +ᵥ s) = vectorSpan k s #43671