mathlib3

1b010684 - feat(ring_theory/witt_vector): Witt vectors are proj. limit of truncated Witt vectors (#5163)

feat(ring_theory/witt_vector): Witt vectors are proj. limit of truncated Witt vectors (#5163) Co-Authored-By: Rob Y. Lewis <rob.y.lewis@gmail.com> Co-authored-by: Rob Lewis <Rob.y.lewis@gmail.com> Co-authored-by: Rob Lewis <rob.y.lewis@gmail.com>