mathlib3

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