[
return to viewing 'ordered ring'
]
| diff |
2006-07-22 03:34:56
- revision [
Version 7 -->
(current)
]
by
djao
| Changes for correction #8270 ('emphasis on defined terms'). |
|
|
(date unknown)
- revision [
Version 2 -->
(missing)
]
by
djao
| Changes for correction #3468 ('emphasize this is a total order'). |
|
| 
