[Merged by Bors] - doc(RingTheory): fix local ring doc comment#39765

vlad902 wants to merge 1 commit into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

vlad902:doc-localringvlad902/mathlib4:doc-localringCopy head branch name to clipboard