Theorem AlgebraicGeometry.stalkMap_injective_of_isOpenMap_of_injective

Modification history