[
return to viewing 'cofinality'
]
|
(date unknown)
- revision [
Version 13 -->
(missing)
]
by
yark
| reformat a couple of paragraphs |
|
|
(date unknown)
- revision [
Version 2 -->
(missing)
]
by
yark
| generalized to cofinality of ordinals (changes for correction #2094) |
|
|