Theorem AlgebraicGeometry.Spec.toPresheafedSpace_map

Modification history