On the Size of the Singular Set of Minimizing Harmonic Maps | Synapse