Finiteness theorem for a proper morphism
Redirect to:
Base change theorems