The third homology of the special linear group of a field

We prove that for any infinite field F, the map is an isomorphism for all n≥3. When n=2 the cokernel of this map is naturally isomorphic to , where is the nth Milnor K-group of F. We deduce that the natural homomorphism from to the indecomposable K₃ of F, , is surjective for any infinite field F.