Finished the proof of restriction of scalars over local fields. Yay!

Can you confirm Equation 14?