mathlib3

fe8b6315 - lint(ring_theory/*): docstrings (#4485)

lint(ring_theory/*): docstrings (#4485) Docstrings in `ring_theory/ideal/operations`, `ring_theory/multiplicity`, and `ring_theory/ring_invo`.