Theorem AlgebraicGeometry.ΓSpecIso_hom_stalkClosedPointIso_inv

Modification history