Higher direct image

Redirect to:

  • Direct image functor