Coordinate vectors over a DVR with finite residue field admit a finite set of unique representatives modulo `π^M`.

Initializing...

Coordinate vectors over a DVR with finite residue field admit a finite set of unique representatives modulo `π^M`. · Prove2Me