mathlib

19ed0f8e - refactor(ring_theory/valuation): valuations in `linear_ordered_comm_monoid_with_zero` (#6500)

refactor(ring_theory/valuation): valuations in `linear_ordered_comm_monoid_with_zero` (#6500) Generalizes the value group in a `valuation` to a `linear_ordered_comm_monoid_with_zero` Co-authored-by: Aaron Anderson <65780815+awainverse@users.noreply.github.com>