mathlib3
270fc310 - fix(ring_theory/discrete_valuation_ring): docstring typos (#5085)

Commit

5 years ago

fix(ring_theory/discrete_valuation_ring): docstring typos (#5085) Clarify one docstring and fix two others.

Author

kbuzzard

Parents