Cohomological dimension bound from an affine cover (source code)

= Cohomological dimension bound from an affine cover

If a <separated scheme> has an acyclic affine cover by $r$ open sets, then every <quasi-coherent sheaf> on it has vanishing <sheaf cohomology> in degrees at least $r$. The corresponding <Čech cochain complex> has no terms in those degrees.