4 ms·
Makes sense if @ is reflexive, more generally speaking :) I have no problem redefining < to make c < a true, that's just a matter of interpretation
by wwwhizz 10y ago
Makes sense if @ is reflexive, more generally speaking :) I have no problem redefining < to make c < a true, that's just a matter of interpretation
- deleted 10y ago[deleted]
- Smaug123 10y agoOr we might be working in a preorder which has that particular a<b<c<a loop.