Theorem AlgebraicGeometry.stalkwise_Spec_map_iff

Modification history