Theorem AlgebraicGeometry.Spec.toPresheafedSpace_obj

Modification history