User:Dfeuer/thought
Jump to navigation
Jump to search
This proof contains steps that don't seem to contribute to the goal of proving the theorem, namely:
The theorem we are invoking only requires a pre-ordering. These steps prove that the relation is a total ordering, a fact we never use.
This proof contains steps that don't seem to contribute to the goal of proving the theorem.
$\href {http://proofwiki.org/wiki/Up-Set/Element}{ {\uparrow} }a$
$\href {http://proofwiki.org/wiki/Upper Closure}{ {\uparrow} }T$
The theorem we are invoking only requires a pre-ordering. These steps prove that the relation is a total ordering, a fact we never use.
Either these steps should be removed, or their function within the proof should be explained. If the steps reveal interesting or useful information, consider moving them to a new page.
If you have done this or know it has been done, please remove {{SideTrail}} from the code.
Either these steps should be removed, or their function within the proof should be explained. If the steps reveal interesting or useful information, consider moving them to a new page.
If you have done this or know it has been done, please remove {{SideTrail}} from the code.