Theorem AlgebraicGeometry.exists_eq_pow_mul_of_isAffineOpen

Modification history