Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
A short note at denial inequality, since the subject came up. Mike, please check that I used ‘disequality’ correctly.
Thanks! I clarified a bit.
I have cross-linked denial inequality with apartness relation, equality, created a stub for inequality to make links work
Thanks, Mike. Since the reasoning behind that term could apply more generally (although I don't know whether it is), I rearranged the paragraph a bit more.
Thanks, Urs. Although I almost completely rewrote it (^_^).
I almost completely rewrote it
Since I didn’t exactly write anything I’d say you put in some content.
1 to 6 of 6