basic): add decidable instances for boolean operations (#11354)

Commit

4 years ago

feat(data/set/basic): add decidable instances for boolean operations (#11354) Add decidability instances for `a ∈ s ∩ t`, etc.

Author

gebner

Parents