A local-global principle for symplectic $\mathrm K_2$

We prove that an element of the symplectic Steinberg group is trivial if and only if its image under any maximal localisation homomorphism is trivial.