Theorem AlgebraicGeometry.localRingHom_comp_stalkIso

Modification history