Theorem AlgebraicGeometry.RingedSpace.exists_res_eq_zero_of_germ_eq_zero

Modification history