set): golf definition (#14284)

Commit

3 years ago

chore(logic/equiv/set): golf definition (#14284) I've no idea which name is better; for now, let's at least not implement the same function twice.

Author

eric-wieser

Parents