add pi_3(S^2) = Z, close #539
unmarked errata for 133f84a
Merge pull request #559 from mikeshulman/pi3s2

add pi_3(S^2) = Z, close #539