valuation_subring): Adds some equivalent conditions for equivalence of valuations (#13895)

Commit

3 years ago

feat(ring_theory/valuation/valuation_subring): Adds some equivalent conditions for equivalence of valuations (#13895) Co-authored-by: Scott Morrison <scott.morrison@gmail.com>

Author

adamtopaz

Parents

6d370064

mathlib e6b84992 - feat(ring_theory/valuation/valuation_subring): Adds some equivalent conditions for equivalence of valuations (#13895)

mathlib
e6b84992 - feat(ring_theory/valuation/valuation_subring): Adds some equivalent conditions for equivalence of valuations (#13895)