[
return to viewing 'finite morphism'
]
| diff |
2006-06-08 15:01:30
- revision [
Version 5 -->
(current)
]
by
rmilson
| Changes for correction #7919 ('definition of finite type is wrong'). |
|
|
(date unknown)
- revision [
Version 1 -->
(missing)
]
by
archibal
| Changes for correction #3649 ('Not required to have a finite cover.'). |
|
|