feat: vectorSpan k (v +ᵥ s) = vectorSpan k s (#21305) From PFR
vectorSpan k (v +ᵥ s) = vectorSpan k s