Order Theory/Total orders: Difference between revisions
Jump to navigation
Jump to search
imported>JackBot m Formatting, Special:UncategorizedPages |
(No difference)
|
Latest revision as of 12:20, 9 September 2018
{{proposition|series order induced by total orders is total|Whenever is a totally ordered set