Documentation
DerivedAlgGeo
.
AlgebraicGeometry
.
Stacks
Search
return to top
source
Imports
Init
DerivedAlgGeo.AlgebraicGeometry.Stacks.Algebraic
DerivedAlgGeo.AlgebraicGeometry.Stacks.AlgebraicStack
DerivedAlgGeo.AlgebraicGeometry.Stacks.Descent
DerivedAlgGeo.AlgebraicGeometry.Stacks.Representable
Imported by
Stacks in algebraic geometry
#