Theorem AlgebraicGeometry.StructureSheaf.toStalk_stalkSpecializes

Modification history