Theorem AlgebraicGeometry.LocallyRingedSpace.stalkMap_congr_hom

Modification history