Commit 2025-01-27 14:51 cb7d162f

View on Github →

feat: (v +ᵥ s) -ᵥ (v +ᵥ t) = s -ᵥ t (#21058) From PFR

Estimated changes