[
return to viewing 'profinite group'
]
| diff |
2008-09-13 16:37:57
- revision [
Version 5 -->
(current)
]
by
djao
| Changes for correction #14249 ('classification'). |
|
| diff |
2007-07-22 01:11:24
- revision [
Version 3 --> Version 4
]
by
djao
| Changes for correction #12402 ('profinite group = compact totally disconnected group'). |
|
| 
