Theorem AlgebraicGeometry.LocallyRingedSpace.isLocalRingHom_stalkMap_congr

Modification history