mathlib
03f0285d - refactor(algebra/add_torsor): define pointwise `-ᵥ` and `+ᵥ` on sets (#4710)

Commit

5 years ago

refactor(algebra/add_torsor): define pointwise `-ᵥ` and `+ᵥ` on sets (#4710) This seems more natural than `vsub_set` to me.

References

Author

urkud

Parents