If I am not mistaken, it proves that mu invariant of the Z_p times Z_p extension is 0 and this was Schneps's thesis. It is unfortunately not enough to show the conjecture of Iwasawa in this case even using the vanishing of anticyclotomic mu invariant proven by Hida
Mahesh Kakde
- 399
- 1
- 3
- 8