Documentation
DerivedAlgGeo
.
AlgebraicGeometry
.
Modules
.
Coherent
.
Pushforward
Search
return to top
source
Imports
Init
DerivedAlgGeo.AlgebraicGeometry.Modules.Coherent.Pushforward.Affine
DerivedAlgGeo.AlgebraicGeometry.Modules.Coherent.Pushforward.Finite
DerivedAlgGeo.AlgebraicGeometry.Modules.Coherent.Pushforward.Iso
Imported by
Pushforward of coherent sheaves
#