Post #3227182

I think the decomposition of finitely generated Modules over PIDs is my favourite theorem and yet I have never seen a proper proof of it.