Detailed proof of the monotonicity formula for energy minimizing maps and a discussion of the density function and monotone quanities.