Go back to the tag's page.
Tags: added new tags
\Hom_k(H^i(U, F), k) = H^{-i}_c(U, RHom(F, omega)) for F coherent on U sep fin type over field k