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.
feat: a relation is "function-like" iff it is given by (f · = ·)
(#8190)
Partially inspired by this thread on Zulip.