Theorem AlgebraicGeometry.Spec.toPresheafedSpace_obj_op

Modification history