feat(algebra/pointwise): Subtraction/division of sets (#12694)
feat(algebra/pointwise): Subtraction/division of sets (#12694)

Define pointwise subtraction/division on `set`.





leanprover-community/mathlib,leanprover-community/mathlib