mathlib3

26d287cc - doc(ring_theory/*): two module docs (#6318)

doc(ring_theory/*): two module docs (#6318) This PR provides module docs for `ring_theory.polynomial.scale_roots` as well as `ring_theory.multiplicity`. Furthermore, some lines are split in those two files.