Documentation
DerivedAlgGeo
.
AlgebraicGeometry
.
Duality
.
Canonical
Search
return to top
source
Imports
Init
DerivedAlgGeo.AlgebraicGeometry.Duality.Canonical.Basic
DerivedAlgGeo.AlgebraicGeometry.Duality.Canonical.Derived
DerivedAlgGeo.AlgebraicGeometry.Duality.Canonical.Descent
DerivedAlgGeo.AlgebraicGeometry.Duality.Canonical.Differentials
Imported by