Theorem AlgebraicGeometry.StructureSheaf.toPushforwardStalk_comp

Modification history