Theorem AlgebraicGeometry.Scheme.GlueData.sheafValGluedMk_val

Modification history

2024-07-15 19:24
Mathlib/AlgebraicGeometry/GluingOneHypercover.lean
feat(AlgebraicGeometry): the 1-hypercover attached to a GlueData (#14690) …
Added AlgebraicGeometry.Scheme.GlueData.sheafValGluedMk_valView on Github →