Commit 2023-11-08 20:09 9718370d

View on Github →

feat: a relation is "function-like" iff it is given by (f · = ·) (#8190) Partially inspired by this thread on Zulip.

Estimated changes