Mathlib Changelog
v4
Changelog
About
Github
Commit
2025-01-27 14:51
cb7d162f
View on Github →
feat:
(v +ᵥ s) -ᵥ (v +ᵥ t) = s -ᵥ t
(
#21058
) From PFR
Estimated changes
Modified
Mathlib/Algebra/AddTorsor.lean
added
theorem
Set.vadd_set_vsub_vadd_set