  We use knowledge of local fields to adapt Jonathan Lubin and Michael Rosen's
proof of Mazur's Proposition 4.39. This changes the result about abelian
varieties from only working over local fields with a finite residue field to
working with local fields with an arbitrary perfect residue field of positive
characteristic. We then briefly discuss the Local Class Field Theory
implications of such information
