prod): decidable mem instance on set prod (#16107)

Commit

3 years ago

feat(data/set/prod): decidable mem instance on set prod (#16107) Adds a decidable mem instance for `s ×ˢ t` when both `s` and `t` are decidable

Author

dtumad

Parents