Theorem AlgebraicGeometry.IsAffineOpen.algebraMap_Spec_obj

Modification history