Iwasawa’s theorem on the zeros of the p-adic zeta function

(Iwasawa Theory Learning Seminar)