Go back to the tag's page.
Remove superfluous hypothesis
Tags: Added new tags
A bit more about generically finite morphisms