Skip to content
Back to pull request #21305

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

Sign in to view logs

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

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

Check all files imported

Check all files imported
succeeded Jan 31, 2025 in 40s