Theorem AlgebraicGeometry.isAffineOpen_bot

Modification history