[
return to viewing 'infimum'
]
| diff |
2008-06-29 13:08:29
- revision [
Version 5 -->
(current)
]
by
CWoo
| Changes for correction #13929 ('Spelling'). |
|
| diff |
2002-11-25 00:31:35
- revision [
Version 3 --> Version 4
]
by
vampyr
| Changes for correction #1258 ('Add note that infimum does not necessarily exist'). |
|
|