Documentation
DerivedAlgGeo
.
AlgebraicGeometry
.
Modules
.
Coherent
.
Descent
Search
return to top
source
Imports
Init
DerivedAlgGeo.AlgebraicGeometry.Modules.Coherent.Descent.Locality
Imported by
Descent and locality for coherent sheaves
#