Theorem AlgebraicGeometry.Spec.toPresheafedSpace_map_op

Modification history