Theorem AlgebraicGeometry.LocallyRingedSpace.isLocalHomValStalkMap

Modification history