Theorem AlgebraicGeometry.LocallyRingedSpace.isLocalHom_stalkMap_congr

Modification history