Re:Category Theory: Orders
by 13415 on Thursday April 01, 2021 @11:18AM
(#26661517)
Yes, the property defined on the page is more commonly called asymmetry.
[ Parent
| on HN ]
There are no comments on this comment yet.