Theorem AlgebraicGeometry.eq_zero_of_basicOpen_eq_bot

Modification history