Theorem AlgebraicGeometry.germ_stalkClosedPointIso_hom

Modification history