An implementation of the ring of Witt vectors and their elements for any commutative ring

Component: padics

Keywords: witt vectors, rings

Author: Jacob Dennerlein

Branch/Commit: u/gh-nielrenned/witt_vectors @ d195667

Issue created by migration from https://trac.sagemath.org/ticket/11457