Theorem AlgebraicGeometry.SpecMap_ΓSpecIso_hom

Modification history