[
return to viewing 'henselian field'
]
| diff |
2007-06-02 12:28:56
- revision [
Version 5 -->
(current)
]
by
mps
| Changes for correction #12231 ('spelling'). |
|
| diff |
2006-03-13 13:20:40
- revision [
Version 2 --> Version 3
]
by
mps
| Changes for correction #7692 ('residue (class) field'). |
|
| 
