Equivalence between the Weyl, Coulomb, and unitary gauges in the functional Schrödinger picture.