Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-07-12 05:07 0e1c2bc4

View on Github →

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

Estimated changes