For a free module `V ≅ O^n` over a DVR with uniformizer `π`, multiplication by `π` is injective and `V / πV` has length `n`.

Initializing...

For a free module `V ≅ O^n` over a DVR with uniformizer `π`, multiplication by `π` is injective and `V / πV` has length `n`. · Prove2Me