division of sets (#12694)

Commit

3 years ago

feat(algebra/pointwise): Subtraction/division of sets (#12694) Define pointwise subtraction/division on `set`.

Author

YaelDillies

Parents