doc(ring_theory/witt_vector/witt_polynomial): move module docstring up (#6310)
doc(ring_theory/witt_vector/witt_polynomial): move module docstring up (#6310)





leanprover-community/mathlib,leanprover-community/mathlib