Theorem AlgebraicGeometry.Spec_map_localization_isIso

Modification history