Def AlgebraicGeometry.StructureSheaf.toPushforwardStalkAlgHom

Modification history