Some Gal -> \Gal, removing {}_K and changing \mu^1 and \mu^2 to \mu and \mu'
Changed notation for T(1+pK)
Merge branch 'master' of github.com:roed314/rectifiers