Theorem AlgebraicGeometry.StructureSheaf.localizationToStalk_stalkSpecializes

Modification history