Theorem AlgebraicGeometry.RingedSpace.res_zero

Modification history