mathlib3
45c4df61 - Use `sub_eq_add_neg` instead of `dunfold` to rewrite `a - b` to `a + -b`

Commit

5 years ago

Use `sub_eq_add_neg` instead of `dunfold` to rewrite `a - b` to `a + -b`

Author

Vierkantor

Vierkantor

Parents

Loading