[
return to viewing 'Tychonoff's theorem'
]
| diff |
2003-01-28 01:22:22
- revision [
Version 4 --> Version 5
]
by
Larry Hammick
Correction #1323: equivalent to AC.
Changed to Bourbaki-style notation for a family of sets.
The factors need to be nonempty. |
|
| 
