mathlib

e1443c9c - doc(ring_theory/valuation/valuation_subring): fix docstring (#16034)