Theorem AlgebraicGeometry.Scheme.GlueData.sheafValGluedMk_val

Modification history

2026-03-06 08:34
Mathlib/AlgebraicGeometry/GluingOneHypercover.lean
refactor(CategoryTheory/Sites): redefine the category of sheaves using `ObjectProperty.FullSubcategory` (#36081) …
Modified AlgebraicGeometry.Scheme.GlueData.sheafValGluedMk_valView on Github →
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 →