Displaying similar documents to “An extension of Iwasawa's theorem on finitely generated modules over power series rings.”