mathlib

04916217 - docs(ring_theory/adjoin_root): fix docstring (#9546)