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.
trichotomy used to redirect to strict total order but I figured that it deserves its own page since in constructive mathematics not all strict total orders satisfy trichotomy
Daniel Freedman
The logical formula with xor cannot be correct; currently it allows for all three conditions to be true (since this is how exclusive or works), whereas we want exactly one of them to be true.
fixed definition. The incorrect definition of trichotomy using xor seems to have been copied over from strict total order, and has been in strict total order since revision 2 of the article in March 2009.
1 to 3 of 3