mathlib3
0e1c2bc4 - feat(algebra/add_torsor): more cancellation lemmas (#3368)

Commit

5 years ago

feat(algebra/add_torsor): more cancellation lemmas (#3368) Add more cancellation lemmas for `vsub`, similar to lemmas already present for `vadd`.

Author

jsm28

Parents