Documentation

LeanPool.GrothendieckVanishing

Grothendieck's Vanishing Theorem #

Source: doi:10.1007/978-1-4757-3849-0, url:https://github.com/Vilin97/Clawristotle/tree/grothendieck-vanishing Authors: Vasily Ilin, Brian Nugent Status: verified Main declarations: GrothendieckVanishing Tags: algebraic-geometry, sheaf-theory, topology MSC: 14F06, 18F20