Theorem AlgebraicGeometry.basicOpen_eq_bot_iff

Modification history