[
return to viewing 'Sidon set'
]
| diff |
2004-12-07 01:06:13
- revision [
Version 8 -->
(current)
]
by
bbukh
| Tidying up the ``large Sidon subset'' results. |
|
|
(date unknown)
- revision [
Version 3 -->
(missing)
]
by
bbukh
| Fixed double quantifier problem at the end. |
|
|